Index of types
B
big_int
[
Reins.Types.Big_int
]
C
collection
[
Reins.Iterator.S
]
The type of the collection
cursor
[
Reins.Maps.MonoMapSig
]
cursor
[
Reins.Maps.MonoKeyMapSig
]
cursor
[
Reins.Maps.PolyMapSig
]
cursor
[
Reins.Sets.PolySetSig
]
cursor
[
Reins.Sets.MonoSetSig
]
cursor
[
Reins.ListCursor.S
]
The type of list cursors.
cursor
[
Reins.Iterator.S
]
The type of the cursor that points into the collection
cursor_
[
Reins.Maps.Map_
]
cursor_
[
Reins.Sets.Set_
]
The type of Set cursors.
D
direction
[
Reins.Iterator.S
]
A type which guides the order of the traversal.
direction_
[
Reins.TreeSetIterator.S
]
direction_
[
Reins.ListIterator.S
]
List iterators support only two directions.
E
edge
[
Reins.Dug
]
elt
[
Reins.Maps.MonoMapSig
]
elt
[
Reins.Maps.MonoKeyMapSig
]
elt
[
Reins.Maps.PolyMapSig
]
elt
[
Reins.Sets.MonoSetSig
]
elt
[
Reins.Iterator.S
]
The type of elements in the collection.
elt
[
Reins.Heaps.MonoHeapSig
]
elt_
[
Reins.Maps.Map_
]
elt_
[
Reins.Sets.Set_
]
The type of elements in the set
elt_
[
Reins.Heaps.Heap_
]
G
generator
[
Reins.DugADT.S
]
functions that return a container and none of its arguments are containers
H
heap
[
Reins.Heaps.Heap_
]
K
key
[
Reins.Maps.MonoMapSig
]
key
[
Reins.Maps.MonoKeyMapSig
]
key
[
Reins.Maps.PolyMapSig
]
key_
[
Reins.Maps.Map_
]
kind
[
Reins.Dug
]
L
list_
[
Reins.ListCursor.S
]
The underlying list type the cursor points to.
M
map
[
Reins.Maps.Map_
]
mutator
[
Reins.DugADT.S
]
functions that return a container and at least one arg is a container
O
observer
[
Reins.DugADT.S
]
functions that do not return a container, but takes one as an argument
op
[
Reins.DugADT.S
]
One of
ordering
[
Reins.TreeSetIterator.S
]
R
ratio
[
Reins.Types.Ratio
]
result
[
Reins.Maps.MonoMapSig
]
result
[
Reins.Maps.MonoKeyMapSig
]
result
[
Reins.Maps.PolyMapSig
]
result
[
Reins.Sets.PolySetSig
]
result
[
Reins.Sets.MonoSetSig
]
result_
[
Reins.Maps.Map_
]
result_
[
Reins.Sets.Set_
]
The
result_
type is used for operations that may either return just a result or a result a something else.
S
set
[
Reins.Sets.Set_
]
The type of sets
T
t
[
Reins.DugProfile.Make
]
t
[
Reins.Dug
]
t
[
Reins.Maps.MonoMapSig
]
t
[
Reins.Maps.MonoKeyMapSig
]
t
[
Reins.Maps.PolyMapSig
]
t
[
Reins.SkewBinaryList
]
The type of random access lists
t
[
Reins.SList
]
t
[
Reins.DoubleQueue
]
The type of double ended queues.
t
[
Reins.DoubleList.Make
]
The type of doubly linked lists.
t
[
Reins.CatenableList
]
t
[
Reins.Sets.PolySetSig
]
t
[
Reins.Sets.MonoSetSig
]
t
[
Reins.Lists.ListSig
]
The type of the list
t
[
Reins.Iterator.S
]
The type of iterators.
t
[
Reins.Heaps.PolyHeapSig
]
t
[
Reins.Heaps.MonoHeapSig
]
t
[
Reins.Types.Integral
]
t
[
Reins.Types.Option
]
t
[
Reins.Types.String
]
t
[
Reins.Types.Complex
]
t
[
Reins.Types.Big_int
]
t
[
Reins.Types.Nativeint
]
t
[
Reins.Types.Int64
]
t
[
Reins.Types.Int32
]
t
[
Reins.Types.Char
]
t
[
Reins.Types.Bool
]
t
[
Reins.Types.Float
]
t
[
Reins.Types.Int
]
t
[
Reins.Types.Mono.Arbitrary
]
t
[
Reins.Types.Mono.Comparable
]
t
[
Reins.Types.Mono.Equatable
]
t
[
Reins.Types.Mono.Gen3Tuple
]
t
[
Reins.Types.Mono.GenPair
]
t
[
Reins.Types.Mono.Comparable3Tuple
]
t
[
Reins.Types.Mono.ComparablePair
]
t
[
Reins.Types.Mono.ComposeGenComparable
]
t
[
Reins.Types.Mono.ComposeGen
]
t
[
Reins.Types.Mono.ComposeComparable
]
t
[
Reins.Types.Poly.Arbitrary
]
t
[
Reins.Types.Poly.Comparable
]
t
[
Reins.Types.Poly.Equatable
]
t
[
Reins.Types.Poly.Close
]
t
[
Reins.Types.Poly.ComposeGenComparable
]
t
[
Reins.Types.Poly.ComposeGen
]
t
[
Reins.Types.Poly.ComposeComparable
]
traversal
[
Reins.Iterator.S
]
This type defines the traversal strategy.
W
wrap
[
Reins.DugExtractor
]