Up
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
]