Index of types


A
acc [Utils.Make_iterable_binable2_spec]
acc [Utils.Make_iterable_binable1_spec]
acc [Utils.Make_iterable_binable_spec]

B
buf [Common]
Buffers

E
el [Utils.Make_iterable_binable2_spec]
el [Utils.Make_iterable_binable1_spec]
el [Utils.Make_iterable_binable_spec]
eptr [Unsafe_common]
Type of end pointers

M
mat [Common]
mat32 [Common]
mat64 [Common]

P
pos [Common]
Position within buffers
pos_ref [Common]
Reference to a position within buffers

R
reader [Map_to_safe]
reader [Type_class.S3]
reader [Type_class.S2]
reader [Type_class.S1]
reader [Type_class]
reader [Read_ml]
Type of reader functions for the binary protocol.
reader [Unsafe_read_c]
Type of unsafe reader functions for the binary protocol.
reader0 [Type_class]
reader1 [Map_to_safe]
reader1 [Read_ml]
reader1 [Unsafe_read_c]
reader2 [Map_to_safe]
reader2 [Read_ml]
reader2 [Unsafe_read_c]
reader3 [Map_to_safe]
reader3 [Read_ml]
reader3 [Unsafe_read_c]

S
sizer [Size]
sizer1 [Size]
sizer2 [Size]
sizer3 [Size]
sptr [Unsafe_common]
Type of start pointers
sptr_ptr [Unsafe_common]
Type of pointers to start pointers

T
t [Utils.Make_iterable_binable2_spec]
t [Utils.Make_iterable_binable1_spec]
t [Utils.Make_iterable_binable_spec]
t [Utils.Make_binable2_spec]
t [Utils.Make_binable1_spec]
t [Utils.Make_binable_spec]
t [Type_class.S3]
t [Type_class.S2]
t [Type_class.S1]
t [Type_class]
t [Common.ReadError]
t [Nat0]
t [Binable.S2]
t [Binable.S1]
t [Binable.S]
t0 [Type_class]

V
vec [Common]
vec32 [Common]
vec64 [Common]

W
writer [Map_to_safe]
writer [Type_class.S3]
writer [Type_class.S2]
writer [Type_class.S1]
writer [Type_class]
writer [Write_ml]
Type of writer functions for the binary protocol.
writer [Unsafe_write_c]
Type of unsafe writer functions for the binary protocol.
writer0 [Type_class]
writer1 [Map_to_safe]
writer1 [Write_ml]
writer1 [Unsafe_write_c]
writer2 [Map_to_safe]
writer2 [Write_ml]
writer2 [Unsafe_write_c]
writer3 [Map_to_safe]
writer3 [Write_ml]
writer3 [Unsafe_write_c]