\ No newline at end of file
diff --git a/dev/containers-data/CCBijection/Make/argument-2-R/index.html b/dev/containers-data/CCBijection/Make/argument-2-R/index.html
new file mode 100644
index 00000000..52ab9c85
--- /dev/null
+++ b/dev/containers-data/CCBijection/Make/argument-2-R/index.html
@@ -0,0 +1,2 @@
+
+R (containers-data.CCBijection.Make.2-R)
\ No newline at end of file
diff --git a/dev/containers-data/CCBijection/Make/index.html b/dev/containers-data/CCBijection/Make/index.html
new file mode 100644
index 00000000..0a12d184
--- /dev/null
+++ b/dev/containers-data/CCBijection/Make/index.html
@@ -0,0 +1,2 @@
+
+Make (containers-data.CCBijection.Make)
\ No newline at end of file
diff --git a/dev/containers-data/CCBijection/module-type-OrderedType/index.html b/dev/containers-data/CCBijection/module-type-OrderedType/index.html
new file mode 100644
index 00000000..9bcd05d1
--- /dev/null
+++ b/dev/containers-data/CCBijection/module-type-OrderedType/index.html
@@ -0,0 +1,2 @@
+
+OrderedType (containers-data.CCBijection.OrderedType)
\ No newline at end of file
diff --git a/dev/containers-data/CCBijection/module-type-S/index.html b/dev/containers-data/CCBijection/module-type-S/index.html
new file mode 100644
index 00000000..e2ac598c
--- /dev/null
+++ b/dev/containers-data/CCBijection/module-type-S/index.html
@@ -0,0 +1,2 @@
+
+S (containers-data.CCBijection.S)
\ No newline at end of file
diff --git a/dev/containers-data/CCBitField/Make/argument-1-_/index.html b/dev/containers-data/CCBitField/Make/argument-1-_/index.html
new file mode 100644
index 00000000..29dc27e5
--- /dev/null
+++ b/dev/containers-data/CCBitField/Make/argument-1-_/index.html
@@ -0,0 +1,2 @@
+
+_ (containers-data.CCBitField.Make.1-_)
Parameter Make.1-_
\ No newline at end of file
diff --git a/dev/containers-data/CCBitField/Make/index.html b/dev/containers-data/CCBitField/Make/index.html
new file mode 100644
index 00000000..8ba4e812
--- /dev/null
+++ b/dev/containers-data/CCBitField/Make/index.html
@@ -0,0 +1,2 @@
+
+Make (containers-data.CCBitField.Make)
Prevent new fields from being added. From now on, creating a field will raise Frozen.
val total_width : unit -> int
Current width of the bitfield.
\ No newline at end of file
diff --git a/dev/containers-data/CCBitField/module-type-S/index.html b/dev/containers-data/CCBitField/module-type-S/index.html
new file mode 100644
index 00000000..f8547102
--- /dev/null
+++ b/dev/containers-data/CCBitField/module-type-S/index.html
@@ -0,0 +1,2 @@
+
+S (containers-data.CCBitField.S)
Module type CCBitField.S
Bitfield Signature
type t = private int
Generative type of bitfields. Each instantiation of the functor should create a new, incompatible type
Prevent new fields from being added. From now on, creating a field will raise Frozen.
val total_width : unit -> int
Current width of the bitfield.
\ No newline at end of file
diff --git a/dev/containers-data/CCGraph/Dot/index.html b/dev/containers-data/CCGraph/Dot/index.html
new file mode 100644
index 00000000..046b5be5
--- /dev/null
+++ b/dev/containers-data/CCGraph/Dot/index.html
@@ -0,0 +1,20 @@
+
+Dot (containers-data.CCGraph.Dot)
Module CCGraph.Dot
type attribute = [
| `Color of string
| `Shape of string
| `Weight of int
| `Style of string
| `Label of string
| `Other of string * string
]
Dot attribute
type vertex_state
Hidden state associated to a vertex
val pp :
+ tbl:( 'v, vertex_state )table->
+ eq:( 'v->'v-> bool )->
+ ?attrs_v:( 'v->attribute list )->
+ ?attrs_e:( 'e->attribute list )->
+ ?name:string ->
+ graph:( 'v, 'e )t->
+ Stdlib.Format.formatter ->
+ 'v->
+ unit
Print the graph, starting from given vertex, on the formatter.
parameterattrs_v
attributes for vertices.
parameterattrs_e
attributes for edges.
parametername
name of the graph.
val pp_all :
+ tbl:( 'v, vertex_state )table->
+ eq:( 'v->'v-> bool )->
+ ?attrs_v:( 'v->attribute list )->
+ ?attrs_e:( 'e->attribute list )->
+ ?name:string ->
+ graph:( 'v, 'e )t->
+ Stdlib.Format.formatter ->
+ 'viter->
+ unit
Same as pp but starting from several vertices, not just one.
since 2.8
val with_out : string ->( Stdlib.Format.formatter ->'a )->'a
Shortcut to open a file and write to it.
\ No newline at end of file
diff --git a/dev/containers-data/CCGraph/Iter/index.html b/dev/containers-data/CCGraph/Iter/index.html
new file mode 100644
index 00000000..3410bb83
--- /dev/null
+++ b/dev/containers-data/CCGraph/Iter/index.html
@@ -0,0 +1,2 @@
+
+Iter (containers-data.CCGraph.Iter)
\ No newline at end of file
diff --git a/dev/containers-data/CCGraph/Lazy_tree/index.html b/dev/containers-data/CCGraph/Lazy_tree/index.html
new file mode 100644
index 00000000..e10efb1c
--- /dev/null
+++ b/dev/containers-data/CCGraph/Lazy_tree/index.html
@@ -0,0 +1,2 @@
+
+Lazy_tree (containers-data.CCGraph.Lazy_tree)
val fold_v : ( 'acc->'v->'acc )->'acc->( 'v, _ )t->'acc
\ No newline at end of file
diff --git a/dev/containers-data/CCGraph/Map/index.html b/dev/containers-data/CCGraph/Map/index.html
new file mode 100644
index 00000000..ed5f135d
--- /dev/null
+++ b/dev/containers-data/CCGraph/Map/index.html
@@ -0,0 +1,2 @@
+
+Map (containers-data.CCGraph.Map)
\ No newline at end of file
diff --git a/dev/containers-data/CCGraph/Traverse/Event/index.html b/dev/containers-data/CCGraph/Traverse/Event/index.html
new file mode 100644
index 00000000..d154dae9
--- /dev/null
+++ b/dev/containers-data/CCGraph/Traverse/Event/index.html
@@ -0,0 +1,12 @@
+
+Event (containers-data.CCGraph.Traverse.Event)
val get_edge_kind : ( 'v, 'e )t->('v * 'e * 'v * edge_kind) option
val dfs :
+ tbl:'vset->
+ eq:( 'v->'v-> bool )->
+ graph:( 'v, 'e )graph->
+ 'viter->
+ ( 'v, 'e )titer_once
Full version of DFS.
parametereq
equality predicate on vertices.
val dfs_tag :
+ eq:( 'v->'v-> bool )->
+ tags:'vtag_set->
+ graph:( 'v, 'e )graph->
+ 'viter->
+ ( 'v, 'e )titer_once
Full version of DFS using integer tags.
parametereq
equality predicate on vertices.
\ No newline at end of file
diff --git a/dev/containers-data/CCGraph/Traverse/index.html b/dev/containers-data/CCGraph/Traverse/index.html
new file mode 100644
index 00000000..b0f134ed
--- /dev/null
+++ b/dev/containers-data/CCGraph/Traverse/index.html
@@ -0,0 +1,22 @@
+
+Traverse (containers-data.CCGraph.Traverse)
Module CCGraph.Traverse
type('v, 'e) path = ('v * 'e * 'v) list
val generic :
+ tbl:'vset->
+ bag:'vbag->
+ graph:( 'v, 'e )t->
+ 'viter->
+ 'viter_once
Traversal of the given graph, starting from a sequence of vertices, using the given bag to choose the next vertex to explore. Each vertex is visited at most once.
val generic_tag :
+ tags:'vtag_set->
+ bag:'vbag->
+ graph:( 'v, 'e )t->
+ 'viter->
+ 'viter_once
One-shot traversal of the graph using a tag set and the given bag.
val dijkstra :
+ tbl:'vset->
+ ?dist:( 'e-> int )->
+ graph:( 'v, 'e )t->
+ 'viter->
+ ('v * int * ( 'v, 'e )path)iter_once
Dijkstra algorithm, traverses a graph in increasing distance order. Yields each vertex paired with its distance to the set of initial vertices (the smallest distance needed to reach the node from the initial vertices).
parameterdist
distance from origin of the edge to destination, must be strictly positive. Default is 1 for every edge.
val dijkstra_tag :
+ ?dist:( 'e-> int )->
+ tags:'vtag_set->
+ graph:( 'v, 'e )t->
+ 'viter->
+ ('v * int * ( 'v, 'e )path)iter_once
\ No newline at end of file
diff --git a/dev/containers-data/CCGraph/module-type-MAP/index.html b/dev/containers-data/CCGraph/module-type-MAP/index.html
new file mode 100644
index 00000000..8723c250
--- /dev/null
+++ b/dev/containers-data/CCGraph/module-type-MAP/index.html
@@ -0,0 +1,2 @@
+
+MAP (containers-data.CCGraph.MAP)
\ No newline at end of file
diff --git a/dev/containers-data/CCHashSet/Make/argument-1-E/index.html b/dev/containers-data/CCHashSet/Make/argument-1-E/index.html
new file mode 100644
index 00000000..4dcbdb86
--- /dev/null
+++ b/dev/containers-data/CCHashSet/Make/argument-1-E/index.html
@@ -0,0 +1,2 @@
+
+E (containers-data.CCHashSet.Make.1-E)
\ No newline at end of file
diff --git a/dev/containers-data/CCHashSet/Make/index.html b/dev/containers-data/CCHashSet/Make/index.html
new file mode 100644
index 00000000..229e31cf
--- /dev/null
+++ b/dev/containers-data/CCHashSet/Make/index.html
@@ -0,0 +1,2 @@
+
+Make (containers-data.CCHashSet.Make)
pp pp_elt returns a set printer, given a printer for individual elements.
\ No newline at end of file
diff --git a/dev/containers-data/CCHashSet/module-type-ELEMENT/index.html b/dev/containers-data/CCHashSet/module-type-ELEMENT/index.html
new file mode 100644
index 00000000..01e04e6d
--- /dev/null
+++ b/dev/containers-data/CCHashSet/module-type-ELEMENT/index.html
@@ -0,0 +1,2 @@
+
+ELEMENT (containers-data.CCHashSet.ELEMENT)
\ No newline at end of file
diff --git a/dev/containers-data/CCHashSet/module-type-S/index.html b/dev/containers-data/CCHashSet/module-type-S/index.html
new file mode 100644
index 00000000..86e68ed8
--- /dev/null
+++ b/dev/containers-data/CCHashSet/module-type-S/index.html
@@ -0,0 +1,2 @@
+
+S (containers-data.CCHashSet.S)
pp pp_elt returns a set printer, given a printer for individual elements.
\ No newline at end of file
diff --git a/dev/containers-data/CCHashTrie/Make/argument-1-K/index.html b/dev/containers-data/CCHashTrie/Make/argument-1-K/index.html
new file mode 100644
index 00000000..ccfa81ff
--- /dev/null
+++ b/dev/containers-data/CCHashTrie/Make/argument-1-K/index.html
@@ -0,0 +1,2 @@
+
+K (containers-data.CCHashTrie.Make.1-K)
\ No newline at end of file
diff --git a/dev/containers-data/CCHashTrie/Make/index.html b/dev/containers-data/CCHashTrie/Make/index.html
new file mode 100644
index 00000000..15d736f8
--- /dev/null
+++ b/dev/containers-data/CCHashTrie/Make/index.html
@@ -0,0 +1,7 @@
+
+Make (containers-data.CCHashTrie.Make)
add_mut ~id k v m behaves like add k v m, except it will mutate in place whenever possible. Changes done with an id might affect all versions of the structure obtained with the same id (but not other versions).
val as_tree : 'at->[ `L of int * (key * 'a) list| `N ]ktree
For debugging purpose: explore the structure of the tree, with `L (h,l) being a leaf (with shared hash h) and `N an inner node.
\ No newline at end of file
diff --git a/dev/containers-data/CCHashTrie/Transient/index.html b/dev/containers-data/CCHashTrie/Transient/index.html
new file mode 100644
index 00000000..541fb8ae
--- /dev/null
+++ b/dev/containers-data/CCHashTrie/Transient/index.html
@@ -0,0 +1,2 @@
+
+Transient (containers-data.CCHashTrie.Transient)
Module CCHashTrie.Transient
Transient Identifiers
type t
Identifiers for transient modifications. A transient modification is uniquely identified by a Transient.t. Once Transient.freeze r is called, r cannot be used to modify the structure again.
with_ f creates a transient ID i, calls f i, freezes the ID i and returns the result of f i.
exceptionFrozen
Raised when a frozen ID is used.
\ No newline at end of file
diff --git a/dev/containers-data/CCHashTrie/module-type-KEY/index.html b/dev/containers-data/CCHashTrie/module-type-KEY/index.html
new file mode 100644
index 00000000..46b1c0a6
--- /dev/null
+++ b/dev/containers-data/CCHashTrie/module-type-KEY/index.html
@@ -0,0 +1,2 @@
+
+KEY (containers-data.CCHashTrie.KEY)
\ No newline at end of file
diff --git a/dev/containers-data/CCHashTrie/module-type-S/index.html b/dev/containers-data/CCHashTrie/module-type-S/index.html
new file mode 100644
index 00000000..57c1b366
--- /dev/null
+++ b/dev/containers-data/CCHashTrie/module-type-S/index.html
@@ -0,0 +1,7 @@
+
+S (containers-data.CCHashTrie.S)
add_mut ~id k v m behaves like add k v m, except it will mutate in place whenever possible. Changes done with an id might affect all versions of the structure obtained with the same id (but not other versions).
val as_tree : 'at->[ `L of int * (key * 'a) list| `N ]ktree
For debugging purpose: explore the structure of the tree, with `L (h,l) being a leaf (with shared hash h) and `N an inner node.
\ No newline at end of file
diff --git a/dev/containers-data/CCHet/Key/index.html b/dev/containers-data/CCHet/Key/index.html
new file mode 100644
index 00000000..c4809928
--- /dev/null
+++ b/dev/containers-data/CCHet/Key/index.html
@@ -0,0 +1,2 @@
+
+Key (containers-data.CCHet.Key)
\ No newline at end of file
diff --git a/dev/containers-data/CCHet/Map/index.html b/dev/containers-data/CCHet/Map/index.html
new file mode 100644
index 00000000..279d4829
--- /dev/null
+++ b/dev/containers-data/CCHet/Map/index.html
@@ -0,0 +1,2 @@
+
+Map (containers-data.CCHet.Map)
\ No newline at end of file
diff --git a/dev/containers-data/CCHet/Tbl/index.html b/dev/containers-data/CCHet/Tbl/index.html
new file mode 100644
index 00000000..94c97285
--- /dev/null
+++ b/dev/containers-data/CCHet/Tbl/index.html
@@ -0,0 +1,2 @@
+
+Tbl (containers-data.CCHet.Tbl)
\ No newline at end of file
diff --git a/dev/containers-data/CCKTree/Dot/index.html b/dev/containers-data/CCKTree/Dot/index.html
new file mode 100644
index 00000000..dca613c9
--- /dev/null
+++ b/dev/containers-data/CCKTree/Dot/index.html
@@ -0,0 +1,2 @@
+
+Dot (containers-data.CCKTree.Dot)
print_to_file filename g prints g into a file whose name is filename.
since 0.6.1
val to_file : ?name:string ->string ->attribute listt list-> unit
to_file filename trees makes a graph out of the trees, opens the file filename and prints the graph into the file.
parametername
name of the graph.
since 0.6.1
\ No newline at end of file
diff --git a/dev/containers-data/CCKTree/class-type-pset/index.html b/dev/containers-data/CCKTree/class-type-pset/index.html
new file mode 100644
index 00000000..2120caef
--- /dev/null
+++ b/dev/containers-data/CCKTree/class-type-pset/index.html
@@ -0,0 +1,2 @@
+
+pset (containers-data.CCKTree.pset)
\ No newline at end of file
diff --git a/dev/containers-data/CCLazy_list/Infix/index.html b/dev/containers-data/CCLazy_list/Infix/index.html
new file mode 100644
index 00000000..47555026
--- /dev/null
+++ b/dev/containers-data/CCLazy_list/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers-data.CCLazy_list.Infix)
\ No newline at end of file
diff --git a/dev/containers-data/CCMixmap/Make/argument-1-X/index.html b/dev/containers-data/CCMixmap/Make/argument-1-X/index.html
new file mode 100644
index 00000000..f00a1e0d
--- /dev/null
+++ b/dev/containers-data/CCMixmap/Make/argument-1-X/index.html
@@ -0,0 +1,2 @@
+
+X (containers-data.CCMixmap.Make.1-X)
\ No newline at end of file
diff --git a/dev/containers-data/CCMixmap/Make/index.html b/dev/containers-data/CCMixmap/Make/index.html
new file mode 100644
index 00000000..87c7812a
--- /dev/null
+++ b/dev/containers-data/CCMixmap/Make/index.html
@@ -0,0 +1,2 @@
+
+Make (containers-data.CCMixmap.Make)
\ No newline at end of file
diff --git a/dev/containers-data/CCMixmap/module-type-ORD/index.html b/dev/containers-data/CCMixmap/module-type-ORD/index.html
new file mode 100644
index 00000000..85dd12e5
--- /dev/null
+++ b/dev/containers-data/CCMixmap/module-type-ORD/index.html
@@ -0,0 +1,2 @@
+
+ORD (containers-data.CCMixmap.ORD)
\ No newline at end of file
diff --git a/dev/containers-data/CCMixmap/module-type-S/index.html b/dev/containers-data/CCMixmap/module-type-S/index.html
new file mode 100644
index 00000000..4981811b
--- /dev/null
+++ b/dev/containers-data/CCMixmap/module-type-S/index.html
@@ -0,0 +1,2 @@
+
+S (containers-data.CCMixmap.S)
Module type CCMixmap.S
type key
type t
A map containing values of different types, indexed by key.
\ No newline at end of file
diff --git a/dev/containers-data/CCMultiMap/Make/argument-1-K/index.html b/dev/containers-data/CCMultiMap/Make/argument-1-K/index.html
new file mode 100644
index 00000000..695b09f1
--- /dev/null
+++ b/dev/containers-data/CCMultiMap/Make/argument-1-K/index.html
@@ -0,0 +1,2 @@
+
+K (containers-data.CCMultiMap.Make.1-K)
\ No newline at end of file
diff --git a/dev/containers-data/CCMultiMap/Make/argument-2-V/index.html b/dev/containers-data/CCMultiMap/Make/argument-2-V/index.html
new file mode 100644
index 00000000..dfea939d
--- /dev/null
+++ b/dev/containers-data/CCMultiMap/Make/argument-2-V/index.html
@@ -0,0 +1,2 @@
+
+V (containers-data.CCMultiMap.Make.2-V)
\ No newline at end of file
diff --git a/dev/containers-data/CCMultiMap/Make/index.html b/dev/containers-data/CCMultiMap/Make/index.html
new file mode 100644
index 00000000..7e7b915e
--- /dev/null
+++ b/dev/containers-data/CCMultiMap/Make/index.html
@@ -0,0 +1,2 @@
+
+Make (containers-data.CCMultiMap.Make)
\ No newline at end of file
diff --git a/dev/containers-data/CCMultiMap/MakeBidir/argument-1-L/index.html b/dev/containers-data/CCMultiMap/MakeBidir/argument-1-L/index.html
new file mode 100644
index 00000000..aaf310e5
--- /dev/null
+++ b/dev/containers-data/CCMultiMap/MakeBidir/argument-1-L/index.html
@@ -0,0 +1,2 @@
+
+L (containers-data.CCMultiMap.MakeBidir.1-L)
\ No newline at end of file
diff --git a/dev/containers-data/CCMultiMap/MakeBidir/argument-2-R/index.html b/dev/containers-data/CCMultiMap/MakeBidir/argument-2-R/index.html
new file mode 100644
index 00000000..8d63bfab
--- /dev/null
+++ b/dev/containers-data/CCMultiMap/MakeBidir/argument-2-R/index.html
@@ -0,0 +1,2 @@
+
+R (containers-data.CCMultiMap.MakeBidir.2-R)
\ No newline at end of file
diff --git a/dev/containers-data/CCMultiMap/MakeBidir/index.html b/dev/containers-data/CCMultiMap/MakeBidir/index.html
new file mode 100644
index 00000000..78fd1b9c
--- /dev/null
+++ b/dev/containers-data/CCMultiMap/MakeBidir/index.html
@@ -0,0 +1,2 @@
+
+MakeBidir (containers-data.CCMultiMap.MakeBidir)
\ No newline at end of file
diff --git a/dev/containers-data/CCMultiMap/module-type-BIDIR/index.html b/dev/containers-data/CCMultiMap/module-type-BIDIR/index.html
new file mode 100644
index 00000000..b3c09954
--- /dev/null
+++ b/dev/containers-data/CCMultiMap/module-type-BIDIR/index.html
@@ -0,0 +1,2 @@
+
+BIDIR (containers-data.CCMultiMap.BIDIR)
\ No newline at end of file
diff --git a/dev/containers-data/CCMultiMap/module-type-OrderedType/index.html b/dev/containers-data/CCMultiMap/module-type-OrderedType/index.html
new file mode 100644
index 00000000..2971425d
--- /dev/null
+++ b/dev/containers-data/CCMultiMap/module-type-OrderedType/index.html
@@ -0,0 +1,2 @@
+
+OrderedType (containers-data.CCMultiMap.OrderedType)
\ No newline at end of file
diff --git a/dev/containers-data/CCMultiMap/module-type-S/index.html b/dev/containers-data/CCMultiMap/module-type-S/index.html
new file mode 100644
index 00000000..d2b14b48
--- /dev/null
+++ b/dev/containers-data/CCMultiMap/module-type-S/index.html
@@ -0,0 +1,2 @@
+
+S (containers-data.CCMultiMap.S)
\ No newline at end of file
diff --git a/dev/containers-data/CCMultiSet/Make/index.html b/dev/containers-data/CCMultiSet/Make/index.html
new file mode 100644
index 00000000..15a7e7f0
--- /dev/null
+++ b/dev/containers-data/CCMultiSet/Make/index.html
@@ -0,0 +1,2 @@
+
+Make (containers-data.CCMultiSet.Make)
\ No newline at end of file
diff --git a/dev/containers-data/CCMultiSet/module-type-S/index.html b/dev/containers-data/CCMultiSet/module-type-S/index.html
new file mode 100644
index 00000000..8bba78e3
--- /dev/null
+++ b/dev/containers-data/CCMultiSet/module-type-S/index.html
@@ -0,0 +1,2 @@
+
+S (containers-data.CCMultiSet.S)
\ No newline at end of file
diff --git a/dev/containers-data/CCMutHeap/Make/argument-1-X/index.html b/dev/containers-data/CCMutHeap/Make/argument-1-X/index.html
new file mode 100644
index 00000000..76fa090f
--- /dev/null
+++ b/dev/containers-data/CCMutHeap/Make/argument-1-X/index.html
@@ -0,0 +1,2 @@
+
+X (containers-data.CCMutHeap.Make.1-X)
\ No newline at end of file
diff --git a/dev/containers-data/CCMutHeap/Make/index.html b/dev/containers-data/CCMutHeap/Make/index.html
new file mode 100644
index 00000000..422e9467
--- /dev/null
+++ b/dev/containers-data/CCMutHeap/Make/index.html
@@ -0,0 +1,2 @@
+
+Make (containers-data.CCMutHeap.Make)
Filter out values that don't satisfy the predicate
\ No newline at end of file
diff --git a/dev/containers-data/CCMutHeap_intf/module-type-RANKED/index.html b/dev/containers-data/CCMutHeap_intf/module-type-RANKED/index.html
new file mode 100644
index 00000000..fa23f9e1
--- /dev/null
+++ b/dev/containers-data/CCMutHeap_intf/module-type-RANKED/index.html
@@ -0,0 +1,2 @@
+
+RANKED (containers-data.CCMutHeap_intf.RANKED)
\ No newline at end of file
diff --git a/dev/containers-data/CCMutHeap_intf/module-type-S/index.html b/dev/containers-data/CCMutHeap_intf/module-type-S/index.html
new file mode 100644
index 00000000..226a5ac5
--- /dev/null
+++ b/dev/containers-data/CCMutHeap_intf/module-type-S/index.html
@@ -0,0 +1,2 @@
+
+S (containers-data.CCMutHeap_intf.S)
Module type CCMutHeap_intf.S
type elt
Type of elements
type t
Heap of elt, whose priority is increased or decreased incrementally (see decrease for instance)
Filter out values that don't satisfy the predicate
\ No newline at end of file
diff --git a/dev/containers-data/CCPersistentHashtbl/Make/argument-1-H/index.html b/dev/containers-data/CCPersistentHashtbl/Make/argument-1-H/index.html
new file mode 100644
index 00000000..e0cbdf7f
--- /dev/null
+++ b/dev/containers-data/CCPersistentHashtbl/Make/argument-1-H/index.html
@@ -0,0 +1,2 @@
+
+H (containers-data.CCPersistentHashtbl.Make.1-H)
\ No newline at end of file
diff --git a/dev/containers-data/CCPersistentHashtbl/Make/index.html b/dev/containers-data/CCPersistentHashtbl/Make/index.html
new file mode 100644
index 00000000..e2dab6d9
--- /dev/null
+++ b/dev/containers-data/CCPersistentHashtbl/Make/index.html
@@ -0,0 +1,13 @@
+
+Make (containers-data.CCPersistentHashtbl.Make)
Add the binding to the table, returning a new table. This erases the current binding for key, if any.
val update : 'at->key->( 'a option->'a option )->'at
update tbl key f calls f None if key doesn't belong in tbl, f (Some v) if key -> v otherwise; If f returns None then key is removed, else it returns Some v' and key -> v' is added.
Fresh copy of the table; the underlying structure is not shared anymore, so using both tables alternatively will be efficient.
val merge :
+ f:( key->[ `Left of 'a| `Right of 'b| `Both of 'a * 'b ]->'c option )->
+ 'at->
+ 'bt->
+ 'ct
Merge two tables together into a new table. The function's argument correspond to values associated with the key (if present); if the function returns None the key will not appear in the result.
\ No newline at end of file
diff --git a/dev/containers-data/CCPersistentHashtbl/module-type-HashedType/index.html b/dev/containers-data/CCPersistentHashtbl/module-type-HashedType/index.html
new file mode 100644
index 00000000..ce61d9b5
--- /dev/null
+++ b/dev/containers-data/CCPersistentHashtbl/module-type-HashedType/index.html
@@ -0,0 +1,2 @@
+
+HashedType (containers-data.CCPersistentHashtbl.HashedType)
\ No newline at end of file
diff --git a/dev/containers-data/CCPersistentHashtbl/module-type-S/index.html b/dev/containers-data/CCPersistentHashtbl/module-type-S/index.html
new file mode 100644
index 00000000..4db3ccfd
--- /dev/null
+++ b/dev/containers-data/CCPersistentHashtbl/module-type-S/index.html
@@ -0,0 +1,13 @@
+
+S (containers-data.CCPersistentHashtbl.S)
Add the binding to the table, returning a new table. This erases the current binding for key, if any.
val update : 'at->key->( 'a option->'a option )->'at
update tbl key f calls f None if key doesn't belong in tbl, f (Some v) if key -> v otherwise; If f returns None then key is removed, else it returns Some v' and key -> v' is added.
Fresh copy of the table; the underlying structure is not shared anymore, so using both tables alternatively will be efficient.
val merge :
+ f:( key->[ `Left of 'a| `Right of 'b| `Both of 'a * 'b ]->'c option )->
+ 'at->
+ 'bt->
+ 'ct
Merge two tables together into a new table. The function's argument correspond to values associated with the key (if present); if the function returns None the key will not appear in the result.
\ No newline at end of file
diff --git a/dev/containers-data/CCRAL/Infix/index.html b/dev/containers-data/CCRAL/Infix/index.html
new file mode 100644
index 00000000..c17fa2e4
--- /dev/null
+++ b/dev/containers-data/CCRAL/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers-data.CCRAL.Infix)
a --^ b is the integer range from a to b, where b is excluded.
since 0.17
\ No newline at end of file
diff --git a/dev/containers-data/CCRingBuffer/Array/Byte/index.html b/dev/containers-data/CCRingBuffer/Array/Byte/index.html
new file mode 100644
index 00000000..267747ea
--- /dev/null
+++ b/dev/containers-data/CCRingBuffer/Array/Byte/index.html
@@ -0,0 +1,2 @@
+
+Byte (containers-data.CCRingBuffer.Array.Byte)
iter f t iterates over the array t invoking f with the current element, in array order.
\ No newline at end of file
diff --git a/dev/containers-data/CCRingBuffer/Array/Make/argument-1-Elt/index.html b/dev/containers-data/CCRingBuffer/Array/Make/argument-1-Elt/index.html
new file mode 100644
index 00000000..ee038525
--- /dev/null
+++ b/dev/containers-data/CCRingBuffer/Array/Make/argument-1-Elt/index.html
@@ -0,0 +1,2 @@
+
+Elt (containers-data.CCRingBuffer.Array.Make.1-Elt)
\ No newline at end of file
diff --git a/dev/containers-data/CCRingBuffer/Array/Make/index.html b/dev/containers-data/CCRingBuffer/Array/Make/index.html
new file mode 100644
index 00000000..1099acb4
--- /dev/null
+++ b/dev/containers-data/CCRingBuffer/Array/Make/index.html
@@ -0,0 +1,2 @@
+
+Make (containers-data.CCRingBuffer.Array.Make)
iter f t iterates over the array t invoking f with the current element, in array order.
\ No newline at end of file
diff --git a/dev/containers-data/CCRingBuffer/Array/index.html b/dev/containers-data/CCRingBuffer/Array/index.html
new file mode 100644
index 00000000..0450116b
--- /dev/null
+++ b/dev/containers-data/CCRingBuffer/Array/index.html
@@ -0,0 +1,4 @@
+
+Array (containers-data.CCRingBuffer.Array)
\ No newline at end of file
diff --git a/dev/containers-data/CCRingBuffer/Array/module-type-S/index.html b/dev/containers-data/CCRingBuffer/Array/module-type-S/index.html
new file mode 100644
index 00000000..7fca6df8
--- /dev/null
+++ b/dev/containers-data/CCRingBuffer/Array/module-type-S/index.html
@@ -0,0 +1,2 @@
+
+S (containers-data.CCRingBuffer.Array.S)
iter f t iterates over the array t invoking f with the current element, in array order.
\ No newline at end of file
diff --git a/dev/containers-data/CCRingBuffer/Byte/index.html b/dev/containers-data/CCRingBuffer/Byte/index.html
new file mode 100644
index 00000000..a630e9cc
--- /dev/null
+++ b/dev/containers-data/CCRingBuffer/Byte/index.html
@@ -0,0 +1,2 @@
+
+Byte (containers-data.CCRingBuffer.Byte)
create size creates a new bounded buffer with given size. The underlying array is allocated immediately and no further (large) allocation will happen from now on.
blit_from buf from_buf o len copies the slice o, ... o + len - 1 from an input buffer from_buf to the end of the buffer. If the slice is too large for the buffer, only the last part of the array will be copied.
\ No newline at end of file
diff --git a/dev/containers-data/CCRingBuffer/Make/Array/index.html b/dev/containers-data/CCRingBuffer/Make/Array/index.html
new file mode 100644
index 00000000..39f66c9c
--- /dev/null
+++ b/dev/containers-data/CCRingBuffer/Make/Array/index.html
@@ -0,0 +1,2 @@
+
+Array (containers-data.CCRingBuffer.Make.Array)
iter f t iterates over the array t invoking f with the current element, in array order.
\ No newline at end of file
diff --git a/dev/containers-data/CCRingBuffer/Make/argument-1-X/index.html b/dev/containers-data/CCRingBuffer/Make/argument-1-X/index.html
new file mode 100644
index 00000000..334d8feb
--- /dev/null
+++ b/dev/containers-data/CCRingBuffer/Make/argument-1-X/index.html
@@ -0,0 +1,2 @@
+
+X (containers-data.CCRingBuffer.Make.1-X)
\ No newline at end of file
diff --git a/dev/containers-data/CCRingBuffer/Make/index.html b/dev/containers-data/CCRingBuffer/Make/index.html
new file mode 100644
index 00000000..a7422f4a
--- /dev/null
+++ b/dev/containers-data/CCRingBuffer/Make/index.html
@@ -0,0 +1,2 @@
+
+Make (containers-data.CCRingBuffer.Make)
create size creates a new bounded buffer with given size. The underlying array is allocated immediately and no further (large) allocation will happen from now on.
blit_from buf from_buf o len copies the slice o, ... o + len - 1 from an input buffer from_buf to the end of the buffer. If the slice is too large for the buffer, only the last part of the array will be copied.
\ No newline at end of file
diff --git a/dev/containers-data/CCRingBuffer/MakeFromArray/argument-1-A/index.html b/dev/containers-data/CCRingBuffer/MakeFromArray/argument-1-A/index.html
new file mode 100644
index 00000000..21f036fe
--- /dev/null
+++ b/dev/containers-data/CCRingBuffer/MakeFromArray/argument-1-A/index.html
@@ -0,0 +1,2 @@
+
+A (containers-data.CCRingBuffer.MakeFromArray.1-A)
iter f t iterates over the array t invoking f with the current element, in array order.
\ No newline at end of file
diff --git a/dev/containers-data/CCRingBuffer/MakeFromArray/index.html b/dev/containers-data/CCRingBuffer/MakeFromArray/index.html
new file mode 100644
index 00000000..c3fe5605
--- /dev/null
+++ b/dev/containers-data/CCRingBuffer/MakeFromArray/index.html
@@ -0,0 +1,2 @@
+
+MakeFromArray (containers-data.CCRingBuffer.MakeFromArray)
Module CCRingBuffer.MakeFromArray
Makes a ring buffer module with the given array type
create size creates a new bounded buffer with given size. The underlying array is allocated immediately and no further (large) allocation will happen from now on.
blit_from buf from_buf o len copies the slice o, ... o + len - 1 from an input buffer from_buf to the end of the buffer. If the slice is too large for the buffer, only the last part of the array will be copied.
\ No newline at end of file
diff --git a/dev/containers-data/CCRingBuffer/module-type-S/Array/index.html b/dev/containers-data/CCRingBuffer/module-type-S/Array/index.html
new file mode 100644
index 00000000..3c9c8a08
--- /dev/null
+++ b/dev/containers-data/CCRingBuffer/module-type-S/Array/index.html
@@ -0,0 +1,2 @@
+
+Array (containers-data.CCRingBuffer.S.Array)
iter f t iterates over the array t invoking f with the current element, in array order.
\ No newline at end of file
diff --git a/dev/containers-data/CCRingBuffer/module-type-S/index.html b/dev/containers-data/CCRingBuffer/module-type-S/index.html
new file mode 100644
index 00000000..5161039e
--- /dev/null
+++ b/dev/containers-data/CCRingBuffer/module-type-S/index.html
@@ -0,0 +1,2 @@
+
+S (containers-data.CCRingBuffer.S)
Module type CCRingBuffer.S
Ring Buffer
The abstract ring buffer type, made concrete by choice of ARRAY module implementation
create size creates a new bounded buffer with given size. The underlying array is allocated immediately and no further (large) allocation will happen from now on.
blit_from buf from_buf o len copies the slice o, ... o + len - 1 from an input buffer from_buf to the end of the buffer. If the slice is too large for the buffer, only the last part of the array will be copied.
\ No newline at end of file
diff --git a/dev/containers-data/CCSimple_queue/Infix/index.html b/dev/containers-data/CCSimple_queue/Infix/index.html
new file mode 100644
index 00000000..45e8bb46
--- /dev/null
+++ b/dev/containers-data/CCSimple_queue/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers-data.CCSimple_queue.Infix)
\ No newline at end of file
diff --git a/dev/containers-data/CCTrie/Make/argument-1-W/index.html b/dev/containers-data/CCTrie/Make/argument-1-W/index.html
new file mode 100644
index 00000000..582f7acc
--- /dev/null
+++ b/dev/containers-data/CCTrie/Make/argument-1-W/index.html
@@ -0,0 +1,2 @@
+
+W (containers-data.CCTrie.Make.1-W)
\ No newline at end of file
diff --git a/dev/containers-data/CCTrie/Make/index.html b/dev/containers-data/CCTrie/Make/index.html
new file mode 100644
index 00000000..1bf24721
--- /dev/null
+++ b/dev/containers-data/CCTrie/Make/index.html
@@ -0,0 +1,2 @@
+
+Make (containers-data.CCTrie.Make)
longest_prefix k m finds the longest prefix of k that leads to at least one path in m (it does not mean that the prefix is bound to a value.
Example: if m has keys "abc0" and "abcd", then longest_prefix "abc2" m will return "abc".
since 0.17
val update : key->( 'a option->'a option )->'at->'at
Update the binding for the given key. The function is given None if the key is absent, or Some v if key is bound to v; if it returns None the key is removed, otherwise it returns Some y and key becomes bound to y.
All bindings whose key is smaller or equal to the given key, in decreasing order.
\ No newline at end of file
diff --git a/dev/containers-data/CCTrie/MakeArray/argument-1-X/index.html b/dev/containers-data/CCTrie/MakeArray/argument-1-X/index.html
new file mode 100644
index 00000000..0991dd66
--- /dev/null
+++ b/dev/containers-data/CCTrie/MakeArray/argument-1-X/index.html
@@ -0,0 +1,2 @@
+
+X (containers-data.CCTrie.MakeArray.1-X)
\ No newline at end of file
diff --git a/dev/containers-data/CCTrie/MakeArray/index.html b/dev/containers-data/CCTrie/MakeArray/index.html
new file mode 100644
index 00000000..0f61c779
--- /dev/null
+++ b/dev/containers-data/CCTrie/MakeArray/index.html
@@ -0,0 +1,2 @@
+
+MakeArray (containers-data.CCTrie.MakeArray)
longest_prefix k m finds the longest prefix of k that leads to at least one path in m (it does not mean that the prefix is bound to a value.
Example: if m has keys "abc0" and "abcd", then longest_prefix "abc2" m will return "abc".
since 0.17
val update : key->( 'a option->'a option )->'at->'at
Update the binding for the given key. The function is given None if the key is absent, or Some v if key is bound to v; if it returns None the key is removed, otherwise it returns Some y and key becomes bound to y.
All bindings whose key is smaller or equal to the given key, in decreasing order.
\ No newline at end of file
diff --git a/dev/containers-data/CCTrie/MakeList/argument-1-X/index.html b/dev/containers-data/CCTrie/MakeList/argument-1-X/index.html
new file mode 100644
index 00000000..aaf6b47a
--- /dev/null
+++ b/dev/containers-data/CCTrie/MakeList/argument-1-X/index.html
@@ -0,0 +1,2 @@
+
+X (containers-data.CCTrie.MakeList.1-X)
\ No newline at end of file
diff --git a/dev/containers-data/CCTrie/MakeList/index.html b/dev/containers-data/CCTrie/MakeList/index.html
new file mode 100644
index 00000000..fd538657
--- /dev/null
+++ b/dev/containers-data/CCTrie/MakeList/index.html
@@ -0,0 +1,2 @@
+
+MakeList (containers-data.CCTrie.MakeList)
longest_prefix k m finds the longest prefix of k that leads to at least one path in m (it does not mean that the prefix is bound to a value.
Example: if m has keys "abc0" and "abcd", then longest_prefix "abc2" m will return "abc".
since 0.17
val update : key->( 'a option->'a option )->'at->'at
Update the binding for the given key. The function is given None if the key is absent, or Some v if key is bound to v; if it returns None the key is removed, otherwise it returns Some y and key becomes bound to y.
All bindings whose key is smaller or equal to the given key, in decreasing order.
\ No newline at end of file
diff --git a/dev/containers-data/CCTrie/String/index.html b/dev/containers-data/CCTrie/String/index.html
new file mode 100644
index 00000000..e2e611b5
--- /dev/null
+++ b/dev/containers-data/CCTrie/String/index.html
@@ -0,0 +1,2 @@
+
+String (containers-data.CCTrie.String)
longest_prefix k m finds the longest prefix of k that leads to at least one path in m (it does not mean that the prefix is bound to a value.
Example: if m has keys "abc0" and "abcd", then longest_prefix "abc2" m will return "abc".
since 0.17
val update : key->( 'a option->'a option )->'at->'at
Update the binding for the given key. The function is given None if the key is absent, or Some v if key is bound to v; if it returns None the key is removed, otherwise it returns Some y and key becomes bound to y.
All bindings whose key is smaller or equal to the given key, in decreasing order.
\ No newline at end of file
diff --git a/dev/containers-data/CCTrie/module-type-ORDERED/index.html b/dev/containers-data/CCTrie/module-type-ORDERED/index.html
new file mode 100644
index 00000000..748ce098
--- /dev/null
+++ b/dev/containers-data/CCTrie/module-type-ORDERED/index.html
@@ -0,0 +1,2 @@
+
+ORDERED (containers-data.CCTrie.ORDERED)
\ No newline at end of file
diff --git a/dev/containers-data/CCTrie/module-type-S/index.html b/dev/containers-data/CCTrie/module-type-S/index.html
new file mode 100644
index 00000000..c68de924
--- /dev/null
+++ b/dev/containers-data/CCTrie/module-type-S/index.html
@@ -0,0 +1,2 @@
+
+S (containers-data.CCTrie.S)
longest_prefix k m finds the longest prefix of k that leads to at least one path in m (it does not mean that the prefix is bound to a value.
Example: if m has keys "abc0" and "abcd", then longest_prefix "abc2" m will return "abc".
since 0.17
val update : key->( 'a option->'a option )->'at->'at
Update the binding for the given key. The function is given None if the key is absent, or Some v if key is bound to v; if it returns None the key is removed, otherwise it returns Some y and key becomes bound to y.
All bindings whose key is smaller or equal to the given key, in decreasing order.
\ No newline at end of file
diff --git a/dev/containers-data/CCTrie/module-type-WORD/index.html b/dev/containers-data/CCTrie/module-type-WORD/index.html
new file mode 100644
index 00000000..bd8d3d12
--- /dev/null
+++ b/dev/containers-data/CCTrie/module-type-WORD/index.html
@@ -0,0 +1,2 @@
+
+WORD (containers-data.CCTrie.WORD)
\ No newline at end of file
diff --git a/dev/containers-data/CCWBTree/Make/argument-1-X/index.html b/dev/containers-data/CCWBTree/Make/argument-1-X/index.html
new file mode 100644
index 00000000..9dea930d
--- /dev/null
+++ b/dev/containers-data/CCWBTree/Make/argument-1-X/index.html
@@ -0,0 +1,2 @@
+
+X (containers-data.CCWBTree.Make.1-X)
\ No newline at end of file
diff --git a/dev/containers-data/CCWBTree/Make/index.html b/dev/containers-data/CCWBTree/Make/index.html
new file mode 100644
index 00000000..3ec0c8f9
--- /dev/null
+++ b/dev/containers-data/CCWBTree/Make/index.html
@@ -0,0 +1,13 @@
+
+Make (containers-data.CCWBTree.Make)
val get_rank : key->'at->[ `At of int| `After of int| `First ]
get_rank k m looks for the rank of k in m, i.e. the index of k in the sorted list of bindings of m. let (`At n) = get_rank k m in nth_exn n m = get m k should hold.
split k t returns l, o, r where l is the part of the map with keys smaller than k, r has keys bigger than k, and o = Some v if k, v belonged to the map.
\ No newline at end of file
diff --git a/dev/containers-data/CCWBTree/MakeFull/argument-1-X/index.html b/dev/containers-data/CCWBTree/MakeFull/argument-1-X/index.html
new file mode 100644
index 00000000..e957ba79
--- /dev/null
+++ b/dev/containers-data/CCWBTree/MakeFull/argument-1-X/index.html
@@ -0,0 +1,2 @@
+
+X (containers-data.CCWBTree.MakeFull.1-X)
\ No newline at end of file
diff --git a/dev/containers-data/CCWBTree/MakeFull/index.html b/dev/containers-data/CCWBTree/MakeFull/index.html
new file mode 100644
index 00000000..d14ad81c
--- /dev/null
+++ b/dev/containers-data/CCWBTree/MakeFull/index.html
@@ -0,0 +1,13 @@
+
+MakeFull (containers-data.CCWBTree.MakeFull)
val get_rank : key->'at->[ `At of int| `After of int| `First ]
get_rank k m looks for the rank of k in m, i.e. the index of k in the sorted list of bindings of m. let (`At n) = get_rank k m in nth_exn n m = get m k should hold.
split k t returns l, o, r where l is the part of the map with keys smaller than k, r has keys bigger than k, and o = Some v if k, v belonged to the map.
\ No newline at end of file
diff --git a/dev/containers-data/CCWBTree/module-type-KEY/index.html b/dev/containers-data/CCWBTree/module-type-KEY/index.html
new file mode 100644
index 00000000..4722dc49
--- /dev/null
+++ b/dev/containers-data/CCWBTree/module-type-KEY/index.html
@@ -0,0 +1,2 @@
+
+KEY (containers-data.CCWBTree.KEY)
\ No newline at end of file
diff --git a/dev/containers-data/CCWBTree/module-type-ORD/index.html b/dev/containers-data/CCWBTree/module-type-ORD/index.html
new file mode 100644
index 00000000..a38b7f6b
--- /dev/null
+++ b/dev/containers-data/CCWBTree/module-type-ORD/index.html
@@ -0,0 +1,2 @@
+
+ORD (containers-data.CCWBTree.ORD)
\ No newline at end of file
diff --git a/dev/containers-data/CCWBTree/module-type-S/index.html b/dev/containers-data/CCWBTree/module-type-S/index.html
new file mode 100644
index 00000000..0d8add83
--- /dev/null
+++ b/dev/containers-data/CCWBTree/module-type-S/index.html
@@ -0,0 +1,13 @@
+
+S (containers-data.CCWBTree.S)
val get_rank : key->'at->[ `At of int| `After of int| `First ]
get_rank k m looks for the rank of k in m, i.e. the index of k in the sorted list of bindings of m. let (`At n) = get_rank k m in nth_exn n m = get m k should hold.
split k t returns l, o, r where l is the part of the map with keys smaller than k, r has keys bigger than k, and o = Some v if k, v belonged to the map.
\ No newline at end of file
diff --git a/dev/containers-thread/CCLock/LockRef/index.html b/dev/containers-thread/CCLock/LockRef/index.html
new file mode 100644
index 00000000..e8e89340
--- /dev/null
+++ b/dev/containers-thread/CCLock/LockRef/index.html
@@ -0,0 +1,2 @@
+
+LockRef (containers-thread.CCLock.LockRef)
Module CCLock.LockRef
Type allowing to manipulate the lock as a reference.
\ No newline at end of file
diff --git a/dev/containers-thread/CCPool/Make/Fut/Infix/index.html b/dev/containers-thread/CCPool/Make/Fut/Infix/index.html
new file mode 100644
index 00000000..76358dcb
--- /dev/null
+++ b/dev/containers-thread/CCPool/Make/Fut/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers-thread.CCPool.Make.Fut.Infix)
\ No newline at end of file
diff --git a/dev/containers-thread/CCPool/Make/Fut/index.html b/dev/containers-thread/CCPool/Make/Fut/index.html
new file mode 100644
index 00000000..99e8e290
--- /dev/null
+++ b/dev/containers-thread/CCPool/Make/Fut/index.html
@@ -0,0 +1,2 @@
+
+Fut (containers-thread.CCPool.Make.Fut)
Module Make.Fut
Futures
The futures are registration points for callbacks, storing a state, that are executed in the pool using run.
Blocking get: wait for the future to be evaluated, and get the value, or the exception that failed the future is returned. Raise e if the future failed with e.
Attach a handler to be called upon failure. The handler should not call any function on the future. Might be evaluated now if the future is already done.
Attach a handler to be called when the future is evaluated. The handler should not call functions on the future. Might be evaluated now if the future is already done.
\ No newline at end of file
diff --git a/dev/containers-thread/CCPool/Make/argument-1-P/index.html b/dev/containers-thread/CCPool/Make/argument-1-P/index.html
new file mode 100644
index 00000000..5734ba21
--- /dev/null
+++ b/dev/containers-thread/CCPool/Make/argument-1-P/index.html
@@ -0,0 +1,2 @@
+
+P (containers-thread.CCPool.Make.1-P)
Parameter Make.1-P
val max_size : int
Maximum number of threads in the pool.
\ No newline at end of file
diff --git a/dev/containers-thread/CCPool/Make/index.html b/dev/containers-thread/CCPool/Make/index.html
new file mode 100644
index 00000000..c4f41a23
--- /dev/null
+++ b/dev/containers-thread/CCPool/Make/index.html
@@ -0,0 +1,2 @@
+
+Make (containers-thread.CCPool.Make)
\ No newline at end of file
diff --git a/dev/containers-thread/CCPool/module-type-PARAM/index.html b/dev/containers-thread/CCPool/module-type-PARAM/index.html
new file mode 100644
index 00000000..c1c16fce
--- /dev/null
+++ b/dev/containers-thread/CCPool/module-type-PARAM/index.html
@@ -0,0 +1,2 @@
+
+PARAM (containers-thread.CCPool.PARAM)
Module type CCPool.PARAM
val max_size : int
Maximum number of threads in the pool.
\ No newline at end of file
diff --git a/dev/containers-thread/CCThread/Arr/index.html b/dev/containers-thread/CCThread/Arr/index.html
new file mode 100644
index 00000000..67a5d20d
--- /dev/null
+++ b/dev/containers-thread/CCThread/Arr/index.html
@@ -0,0 +1,2 @@
+
+Arr (containers-thread.CCThread.Arr)
\ No newline at end of file
diff --git a/dev/containers-thread/CCThread/Barrier/index.html b/dev/containers-thread/CCThread/Barrier/index.html
new file mode 100644
index 00000000..0cac68db
--- /dev/null
+++ b/dev/containers-thread/CCThread/Barrier/index.html
@@ -0,0 +1,2 @@
+
+Barrier (containers-thread.CCThread.Barrier)
wait b waits for barrier b to be activated by activate b. All threads calling this wait until activate b is called. If b is already activated, wait b does nothing.
activated b returns true iff activate b was called, and reset b was not called since. In other words, activated b = true means wait b will not block.
\ No newline at end of file
diff --git a/dev/containers/CCArray/Floatarray/index.html b/dev/containers/CCArray/Floatarray/index.html
new file mode 100644
index 00000000..cb140abb
--- /dev/null
+++ b/dev/containers/CCArray/Floatarray/index.html
@@ -0,0 +1,2 @@
+
+Floatarray (containers.CCArray.Floatarray)
Module CCArray.Floatarray
val create : int -> floatarray
val length : floatarray -> int
val get : floatarray ->int -> float
val set : floatarray ->int ->float -> unit
val unsafe_get : floatarray ->int -> float
val unsafe_set : floatarray ->int ->float -> unit
\ No newline at end of file
diff --git a/dev/containers/CCArray/Infix/index.html b/dev/containers/CCArray/Infix/index.html
new file mode 100644
index 00000000..e68b9002
--- /dev/null
+++ b/dev/containers/CCArray/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers.CCArray.Infix)
x --^ y creates an array containing integers in the range x .. y. Right bound excluded.
since 0.17
Let operators on OCaml >= 4.08.0, nothing otherwise
since 2.8
val let+ : 'a array->( 'a->'b )->'b array
val and+ : 'a array->'b array->('a * 'b) array
val let* : 'a array->( 'a->'b array )->'b array
val and* : 'a array->'b array->('a * 'b) array
\ No newline at end of file
diff --git a/dev/containers/CCArray/module-type-MONO_ARRAY/index.html b/dev/containers/CCArray/module-type-MONO_ARRAY/index.html
new file mode 100644
index 00000000..bed99707
--- /dev/null
+++ b/dev/containers/CCArray/module-type-MONO_ARRAY/index.html
@@ -0,0 +1,2 @@
+
+MONO_ARRAY (containers.CCArray.MONO_ARRAY)
\ No newline at end of file
diff --git a/dev/containers/CCArrayLabels/Floatarray/index.html b/dev/containers/CCArrayLabels/Floatarray/index.html
new file mode 100644
index 00000000..efc53a15
--- /dev/null
+++ b/dev/containers/CCArrayLabels/Floatarray/index.html
@@ -0,0 +1,2 @@
+
+Floatarray (containers.CCArrayLabels.Floatarray)
Module CCArrayLabels.Floatarray
val create : int -> floatarray
val length : floatarray -> int
val get : floatarray ->int -> float
val set : floatarray ->int ->float -> unit
val unsafe_get : floatarray ->int -> float
val unsafe_set : floatarray ->int ->float -> unit
\ No newline at end of file
diff --git a/dev/containers/CCArrayLabels/Infix/index.html b/dev/containers/CCArrayLabels/Infix/index.html
new file mode 100644
index 00000000..64e9e797
--- /dev/null
+++ b/dev/containers/CCArrayLabels/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers.CCArrayLabels.Infix)
x --^ y creates an array containing integers in the range x .. y. Right bound excluded.
since 0.17
Let operators on OCaml >= 4.08.0, nothing otherwise
since 2.8
val let+ : 'a array->( 'a->'b )->'b array
val and+ : 'a array->'b array->('a * 'b) array
val let* : 'a array->( 'a->'b array )->'b array
val and* : 'a array->'b array->('a * 'b) array
\ No newline at end of file
diff --git a/dev/containers/CCArrayLabels/module-type-MONO_ARRAY/index.html b/dev/containers/CCArrayLabels/module-type-MONO_ARRAY/index.html
new file mode 100644
index 00000000..1bb842da
--- /dev/null
+++ b/dev/containers/CCArrayLabels/module-type-MONO_ARRAY/index.html
@@ -0,0 +1,2 @@
+
+MONO_ARRAY (containers.CCArrayLabels.MONO_ARRAY)
\ No newline at end of file
diff --git a/dev/containers/CCCanonical_sexp/Make/argument-1-Sexp/index.html b/dev/containers/CCCanonical_sexp/Make/argument-1-Sexp/index.html
new file mode 100644
index 00000000..4ea353c3
--- /dev/null
+++ b/dev/containers/CCCanonical_sexp/Make/argument-1-Sexp/index.html
@@ -0,0 +1,2 @@
+
+Sexp (containers.CCCanonical_sexp.Make.1-Sexp)
val match_ : t->atom:( string ->'a )->list:( t list->'a )->'a
\ No newline at end of file
diff --git a/dev/containers/CCCanonical_sexp/Make/index.html b/dev/containers/CCCanonical_sexp/Make/index.html
new file mode 100644
index 00000000..fcdaf571
--- /dev/null
+++ b/dev/containers/CCCanonical_sexp/Make/index.html
@@ -0,0 +1,4 @@
+
+Make (containers.CCCanonical_sexp.Make)
Parse a S-expression from the given channel. Can read more data than necessary, so don't use this if you need finer-grained control (e.g. to read something else after the S-exp).
\ No newline at end of file
diff --git a/dev/containers/CCChar/Infix/index.html b/dev/containers/CCChar/Infix/index.html
new file mode 100644
index 00000000..09c6f294
--- /dev/null
+++ b/dev/containers/CCChar/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers.CCChar.Infix)
\ No newline at end of file
diff --git a/dev/containers/CCEqual/Infix/index.html b/dev/containers/CCEqual/Infix/index.html
new file mode 100644
index 00000000..2dbfcb39
--- /dev/null
+++ b/dev/containers/CCEqual/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers.CCEqual.Infix)
\ No newline at end of file
diff --git a/dev/containers/CCEqualLabels/Infix/index.html b/dev/containers/CCEqualLabels/Infix/index.html
new file mode 100644
index 00000000..020e5e57
--- /dev/null
+++ b/dev/containers/CCEqualLabels/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers.CCEqualLabels.Infix)
\ No newline at end of file
diff --git a/dev/containers/CCFloat/Infix/index.html b/dev/containers/CCFloat/Infix/index.html
new file mode 100644
index 00000000..bfd8d974
--- /dev/null
+++ b/dev/containers/CCFloat/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers.CCFloat.Infix)
\ No newline at end of file
diff --git a/dev/containers/CCFormat/ANSI_codes/index.html b/dev/containers/CCFormat/ANSI_codes/index.html
new file mode 100644
index 00000000..ed73ac54
--- /dev/null
+++ b/dev/containers/CCFormat/ANSI_codes/index.html
@@ -0,0 +1,3 @@
+
+ANSI_codes (containers.CCFormat.ANSI_codes)
Module CCFormat.ANSI_codes
ANSI escape codes. This contains lower level functions for them.
string_of_style_list styles is an escape code for multiple styles at once. For example string_of_style_list ANSI_codes.([`FG `Red; `BG `Green; `Bold]) is a very shiny style.
\ No newline at end of file
diff --git a/dev/containers/CCFormat/Dump/index.html b/dev/containers/CCFormat/Dump/index.html
new file mode 100644
index 00000000..f9762c52
--- /dev/null
+++ b/dev/containers/CCFormat/Dump/index.html
@@ -0,0 +1,2 @@
+
+Dump (containers.CCFormat.Dump)
\ No newline at end of file
diff --git a/dev/containers/CCFormat/Infix/index.html b/dev/containers/CCFormat/Infix/index.html
new file mode 100644
index 00000000..b2e86e37
--- /dev/null
+++ b/dev/containers/CCFormat/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers.CCFormat.Infix)
\ No newline at end of file
diff --git a/dev/containers/CCFun/Infix/index.html b/dev/containers/CCFun/Infix/index.html
new file mode 100644
index 00000000..b4fb735c
--- /dev/null
+++ b/dev/containers/CCFun/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers.CCFun.Infix)
Module CCFun.Infix
val (|>) : 'a->( 'a->'b )->'b
x |> f is the same as f x. A 'pipe' operator.
val (@@) : ( 'a->'b )->'a->'b
f @@ x is the same as f x, but right-associative.
since 0.5
val (%>) : ( 'a->'b )->( 'b->'c )->'a->'c
(f %> g) x or (%>) f g x is g (f x). Alias to compose.
val (%) : ( 'b->'c )->( 'a->'b )->'a->'c
(f % g) x or (%) f g x is f (g x). Mathematical composition.
\ No newline at end of file
diff --git a/dev/containers/CCFun/Monad/argument-1-X/index.html b/dev/containers/CCFun/Monad/argument-1-X/index.html
new file mode 100644
index 00000000..89264d19
--- /dev/null
+++ b/dev/containers/CCFun/Monad/argument-1-X/index.html
@@ -0,0 +1,2 @@
+
+X (containers.CCFun.Monad.1-X)
Parameter Monad.1-X
type t
\ No newline at end of file
diff --git a/dev/containers/CCFun/Monad/index.html b/dev/containers/CCFun/Monad/index.html
new file mode 100644
index 00000000..6133a9d5
--- /dev/null
+++ b/dev/containers/CCFun/Monad/index.html
@@ -0,0 +1,2 @@
+
+Monad (containers.CCFun.Monad)
\ No newline at end of file
diff --git a/dev/containers/CCHashtbl/Make/index.html b/dev/containers/CCHashtbl/Make/index.html
new file mode 100644
index 00000000..2fa64c3b
--- /dev/null
+++ b/dev/containers/CCHashtbl/Make/index.html
@@ -0,0 +1,22 @@
+
+Make (containers.CCHashtbl.Make)
Module CCHashtbl.Make
Parameters
moduleX : Stdlib.Hashtbl.HashedType
Signature
includeStdlib.Hashtbl.S
+ withtypekey = X.t
+ withtype'a t = 'aStdlib.Hashtbl.Make(X).t
incr ?by tbl x increments or initializes the counter associated with x. If get tbl x = None, then after update, get tbl x = Some 1; otherwise, if get tbl x = Some n, now get tbl x = Some (n+1).
parameterby
if specified, the int value is incremented by by rather than 1.
decr ?by tbl x is like incr but subtract 1 (or the value of by). If the value reaches 0, the key is removed from the table. This does nothing if the key is not already present in the table.
Add the corresponding pairs to the table, using Hashtbl.add.
since 2.8
val add_iter_with :
+ f:( key->'a->'a->'a )->
+ 'at->
+ (key * 'a)iter->
+ unit
Add the corresponding pairs to the table, using Hashtbl.add. If a key occurs multiple times in the input, the values are combined using f in an unspecified order.
Add the corresponding pairs to the table, using Hashtbl.add. Renamed from add_std_seq since 3.0.
since 3.0
val add_seq_with :
+ f:( key->'a->'a->'a )->
+ 'at->
+ (key * 'a)Stdlib.Seq.t->
+ unit
Add the corresponding pairs to the table, using Hashtbl.add. If a key occurs multiple times in the input, the values are combined using f in an unspecified order.
add_seq_count tbl seq increments the count of each element of seq by calling incr. This is useful for counting how many times each element of seq occurs. Renamed from of_std_seq_count since 3.0.
of_list l builds a table from the given list l of bindings k_i -> v_i, added in order using add. If a key occurs several times, it will be added several times, and the visible binding will be the last one.
val of_list_with : f:( key->'a->'a->'a )->(key * 'a) list->'at
of_list l builds a table from the given list l of bindings k_i -> v_i. If a key occurs multiple times in the input, the values are combined using f in an unspecified order.
since 3.3
val update : 'at->f:( key->'a option->'a option )->k:key-> unit
update tbl ~f ~k updates key k by calling f k (Some v) if k was mapped to v, or f k None otherwise; if the call returns None then k is removed/stays removed, if the call returns Some v' then the binding k -> v' is inserted using Hashtbl.replace.
get_or_add tbl ~k ~f finds and returns the binding of k in tbl, if it exists. If it does not exist, then f k is called to obtain a new binding v; k -> v is added to tbl and v is returned.
pp ~pp_start ~pp_stop ~pp_sep ~pp arrow pp_k pp_v returns a table printer given a pp_k printer for individual key and a pp_v printer for individual value. pp_start and pp_stop control the opening and closing delimiters, by default print nothing. pp_sep control the separator between binding. pp_arrow control the arrow between the key and value. Renamed from print since 2.0.
since 0.13
\ No newline at end of file
diff --git a/dev/containers/CCHashtbl/Poly/index.html b/dev/containers/CCHashtbl/Poly/index.html
new file mode 100644
index 00000000..1df34bdd
--- /dev/null
+++ b/dev/containers/CCHashtbl/Poly/index.html
@@ -0,0 +1,30 @@
+
+Poly (containers.CCHashtbl.Poly)
Module CCHashtbl.Poly
val get : ( 'a, 'b )Stdlib.Hashtbl.t->'a->'b option
get tbl k finds a binding for the key k if present, or returns None if no value is found. Safe version of Hashtbl.find.
val get_or : ( 'a, 'b )Stdlib.Hashtbl.t->'a->default:'b->'b
get_or tbl k ~default returns the value associated to k if present, and returns default otherwise (if k doesn't belong in tbl).
val keys_list : ( 'a, 'b )Stdlib.Hashtbl.t->'a list
keys_list tbl is the list of keys in tbl. If the key is in the Hashtable multiple times, all occurrences will be returned.
since 0.8
val values_list : ( 'a, 'b )Stdlib.Hashtbl.t->'b list
values_list tbl is the list of values in tbl.
since 0.8
val map_list : ( 'a->'b->'c )->( 'a, 'b )Stdlib.Hashtbl.t->'c list
map_list f tbl maps on a tbl's items. Collect into a list.
val incr : ?by:int ->( 'a, int )Stdlib.Hashtbl.t->'a-> unit
incr ?by tbl x increments or initializes the counter associated with x. If get tbl x = None, then after update, get tbl x = Some 1; otherwise, if get tbl x = Some n, now get tbl x = Some (n+1).
parameterby
if specified, the int value is incremented by by rather than 1.
since 0.16
val decr : ?by:int ->( 'a, int )Stdlib.Hashtbl.t->'a-> unit
decr ?by tbl x is like incr but subtract 1 (or the value of by). If the value reaches 0, the key is removed from the table. This does nothing if the key is not already present in the table.
since 0.16
val to_iter : ( 'a, 'b )Stdlib.Hashtbl.t->('a * 'b)iter
Iterate on bindings in the table.
since 2.8
val add_list : ( 'a, 'b list )Stdlib.Hashtbl.t->'a->'b-> unit
add_list tbl x y adds y to the list x is bound to. If x is not bound, it becomes bound to y.
since 0.16
val add_iter : ( 'a, 'b )Stdlib.Hashtbl.t->('a * 'b)iter-> unit
Add the corresponding pairs to the table, using Hashtbl.add.
since 2.8
val add_iter_with :
+ f:( 'a->'b->'b->'b )->
+ ( 'a, 'b )Stdlib.Hashtbl.t->
+ ('a * 'b)iter->
+ unit
Add the corresponding pairs to the table, using Hashtbl.add. If a key occurs multiple times in the input, the values are combined using f in an unspecified order.
since 3.3
val add_seq : ( 'a, 'b )Stdlib.Hashtbl.t->('a * 'b)Stdlib.Seq.t-> unit
Add the corresponding pairs to the table, using Hashtbl.add. Renamed from add_std_seq since 3.0.
since 3.0
val add_seq_with :
+ f:( 'a->'b->'b->'b )->
+ ( 'a, 'b )Stdlib.Hashtbl.t->
+ ('a * 'b)Stdlib.Seq.t->
+ unit
Add the corresponding pairs to the table. If a key occurs multiple times in the input, the values are combined using f in an unspecified order.
since 3.3
val of_iter : ('a * 'b)iter->( 'a, 'b )Stdlib.Hashtbl.t
From the given bindings, added in order. If a key occurs multiple times in the input, the values are combined using f in an unspecified order.
since 3.3
val add_iter_count : ( 'a, int )Stdlib.Hashtbl.t->'aiter-> unit
add_iter_count tbl i increments the count of each element of i by calling incr. This is useful for counting how many times each element of i occurs.
since 2.8
val add_seq_count : ( 'a, int )Stdlib.Hashtbl.t->'aStdlib.Seq.t-> unit
add_seq_count tbl seq increments the count of each element of seq by calling incr. This is useful for counting how many times each element of seq occurs. Renamed from add_std_seq_count since 3.0.
since 3.0
val of_iter_count : 'aiter->( 'a, int )Stdlib.Hashtbl.t
Like add_seq_count, but allocates a new table and returns it.
since 2.8
val of_seq_count : 'aStdlib.Seq.t->( 'a, int )Stdlib.Hashtbl.t
Like add_seq_count, but allocates a new table and returns it. Renamed from of_std_seq_count since 3.0.
since 3.0
val to_list : ( 'a, 'b )Stdlib.Hashtbl.t->('a * 'b) list
to_list tbl returns the list of (key,value) bindings (order unspecified).
val of_list : ('a * 'b) list->( 'a, 'b )Stdlib.Hashtbl.t
of_list l builds a table from the given list l of bindings k_i -> v_i, added in order using add. If a key occurs several times, it will be added several times, and the visible binding will be the last one.
From the given bindings, added in order. If a key occurs multiple times in the input, the values are combined using f in an unspecified order.
since 3.3
val update :
+ ( 'a, 'b )Stdlib.Hashtbl.t->
+ f:( 'a->'b option->'b option )->
+ k:'a->
+ unit
update tbl ~f ~k updates key k by calling f k (Some v) if k was mapped to v, or f k None otherwise; if the call returns None then k is removed/stays removed, if the call returns Some v' then the binding k -> v' is inserted using Hashtbl.replace.
since 0.14
val get_or_add : ( 'a, 'b )Stdlib.Hashtbl.t->f:( 'a->'b )->k:'a->'b
get_or_add tbl ~k ~f finds and returns the binding of k in tbl, if it exists. If it does not exist, then f k is called to obtain a new binding v; k -> v is added to tbl and v is returned.
pp ~pp_start ~pp_stop ~pp_sep ~pp arrow pp_k pp_v returns a table printer given a pp_k printer for individual key and a pp_v printer for individual value. pp_start and pp_stop control the opening and closing delimiters, by default print nothing. pp_sep control the separator between binding. pp_arrow control the arrow between the key and value. Renamed from print since 2.0.
since 0.13
\ No newline at end of file
diff --git a/dev/containers/CCHashtbl/module-type-S/index.html b/dev/containers/CCHashtbl/module-type-S/index.html
new file mode 100644
index 00000000..1038f2b4
--- /dev/null
+++ b/dev/containers/CCHashtbl/module-type-S/index.html
@@ -0,0 +1,20 @@
+
+S (containers.CCHashtbl.S)
incr ?by tbl x increments or initializes the counter associated with x. If get tbl x = None, then after update, get tbl x = Some 1; otherwise, if get tbl x = Some n, now get tbl x = Some (n+1).
parameterby
if specified, the int value is incremented by by rather than 1.
decr ?by tbl x is like incr but subtract 1 (or the value of by). If the value reaches 0, the key is removed from the table. This does nothing if the key is not already present in the table.
Add the corresponding pairs to the table, using Hashtbl.add.
since 2.8
val add_iter_with :
+ f:( key->'a->'a->'a )->
+ 'at->
+ (key * 'a)iter->
+ unit
Add the corresponding pairs to the table, using Hashtbl.add. If a key occurs multiple times in the input, the values are combined using f in an unspecified order.
Add the corresponding pairs to the table, using Hashtbl.add. Renamed from add_std_seq since 3.0.
since 3.0
val add_seq_with :
+ f:( key->'a->'a->'a )->
+ 'at->
+ (key * 'a)Stdlib.Seq.t->
+ unit
Add the corresponding pairs to the table, using Hashtbl.add. If a key occurs multiple times in the input, the values are combined using f in an unspecified order.
add_seq_count tbl seq increments the count of each element of seq by calling incr. This is useful for counting how many times each element of seq occurs. Renamed from of_std_seq_count since 3.0.
of_list l builds a table from the given list l of bindings k_i -> v_i, added in order using add. If a key occurs several times, it will be added several times, and the visible binding will be the last one.
val of_list_with : f:( key->'a->'a->'a )->(key * 'a) list->'at
of_list l builds a table from the given list l of bindings k_i -> v_i. If a key occurs multiple times in the input, the values are combined using f in an unspecified order.
since 3.3
val update : 'at->f:( key->'a option->'a option )->k:key-> unit
update tbl ~f ~k updates key k by calling f k (Some v) if k was mapped to v, or f k None otherwise; if the call returns None then k is removed/stays removed, if the call returns Some v' then the binding k -> v' is inserted using Hashtbl.replace.
get_or_add tbl ~k ~f finds and returns the binding of k in tbl, if it exists. If it does not exist, then f k is called to obtain a new binding v; k -> v is added to tbl and v is returned.
pp ~pp_start ~pp_stop ~pp_sep ~pp arrow pp_k pp_v returns a table printer given a pp_k printer for individual key and a pp_v printer for individual value. pp_start and pp_stop control the opening and closing delimiters, by default print nothing. pp_sep control the separator between binding. pp_arrow control the arrow between the key and value. Renamed from print since 2.0.
since 0.13
\ No newline at end of file
diff --git a/dev/containers/CCHeap/Make/argument-1-E/index.html b/dev/containers/CCHeap/Make/argument-1-E/index.html
new file mode 100644
index 00000000..2d25179a
--- /dev/null
+++ b/dev/containers/CCHeap/Make/argument-1-E/index.html
@@ -0,0 +1,2 @@
+
+E (containers.CCHeap.Make.1-E)
leq x y shall return true iff x is lower or equal to y.
\ No newline at end of file
diff --git a/dev/containers/CCHeap/Make/index.html b/dev/containers/CCHeap/Make/index.html
new file mode 100644
index 00000000..d239a259
--- /dev/null
+++ b/dev/containers/CCHeap/Make/index.html
@@ -0,0 +1,7 @@
+
+Make (containers.CCHeap.Make)
delete_all eq x h uses eq to find all x in h and delete them. If h do not contain x then it return h. The difference with filter is that delete_all stops as soon as it enters a subtree whose root is bigger than the element.
pp ?pp_start ?pp_stop ?pp_sep ppf h prints h on ppf. Each element is formatted with ppf, pp_start is called at the beginning, pp_stop is called at the end, pp_sep is called between each elements. By defaults pp_start and pp_stop does nothing and pp_sep defaults to (fun out -> Format.fprintf out ",@ "). Renamed from print since 2.0
since 0.16
\ No newline at end of file
diff --git a/dev/containers/CCHeap/Make_from_compare/argument-1-E/index.html b/dev/containers/CCHeap/Make_from_compare/argument-1-E/index.html
new file mode 100644
index 00000000..d2f3a329
--- /dev/null
+++ b/dev/containers/CCHeap/Make_from_compare/argument-1-E/index.html
@@ -0,0 +1,2 @@
+
+E (containers.CCHeap.Make_from_compare.1-E)
compare a b shall return a negative value if a is smaller than b, 0 if a and b are equal or a positive value if a is greater than b
\ No newline at end of file
diff --git a/dev/containers/CCHeap/Make_from_compare/index.html b/dev/containers/CCHeap/Make_from_compare/index.html
new file mode 100644
index 00000000..21834b00
--- /dev/null
+++ b/dev/containers/CCHeap/Make_from_compare/index.html
@@ -0,0 +1,7 @@
+
+Make_from_compare (containers.CCHeap.Make_from_compare)
Module CCHeap.Make_from_compare
A convenient version of Make that take a TOTAL_ORD instead of a partially ordered module. It allow to directly pass modules that implement compare without implementing leq explicitly
delete_all eq x h uses eq to find all x in h and delete them. If h do not contain x then it return h. The difference with filter is that delete_all stops as soon as it enters a subtree whose root is bigger than the element.
pp ?pp_start ?pp_stop ?pp_sep ppf h prints h on ppf. Each element is formatted with ppf, pp_start is called at the beginning, pp_stop is called at the end, pp_sep is called between each elements. By defaults pp_start and pp_stop does nothing and pp_sep defaults to (fun out -> Format.fprintf out ",@ "). Renamed from print since 2.0
since 0.16
\ No newline at end of file
diff --git a/dev/containers/CCHeap/module-type-PARTIAL_ORD/index.html b/dev/containers/CCHeap/module-type-PARTIAL_ORD/index.html
new file mode 100644
index 00000000..86fc1e0a
--- /dev/null
+++ b/dev/containers/CCHeap/module-type-PARTIAL_ORD/index.html
@@ -0,0 +1,2 @@
+
+PARTIAL_ORD (containers.CCHeap.PARTIAL_ORD)
leq x y shall return true iff x is lower or equal to y.
\ No newline at end of file
diff --git a/dev/containers/CCHeap/module-type-S/index.html b/dev/containers/CCHeap/module-type-S/index.html
new file mode 100644
index 00000000..db8d7332
--- /dev/null
+++ b/dev/containers/CCHeap/module-type-S/index.html
@@ -0,0 +1,7 @@
+
+S (containers.CCHeap.S)
delete_all eq x h uses eq to find all x in h and delete them. If h do not contain x then it return h. The difference with filter is that delete_all stops as soon as it enters a subtree whose root is bigger than the element.
pp ?pp_start ?pp_stop ?pp_sep ppf h prints h on ppf. Each element is formatted with ppf, pp_start is called at the beginning, pp_stop is called at the end, pp_sep is called between each elements. By defaults pp_start and pp_stop does nothing and pp_sep defaults to (fun out -> Format.fprintf out ",@ "). Renamed from print since 2.0
since 0.16
\ No newline at end of file
diff --git a/dev/containers/CCHeap/module-type-TOTAL_ORD/index.html b/dev/containers/CCHeap/module-type-TOTAL_ORD/index.html
new file mode 100644
index 00000000..e8fa7409
--- /dev/null
+++ b/dev/containers/CCHeap/module-type-TOTAL_ORD/index.html
@@ -0,0 +1,2 @@
+
+TOTAL_ORD (containers.CCHeap.TOTAL_ORD)
compare a b shall return a negative value if a is smaller than b, 0 if a and b are equal or a positive value if a is greater than b
\ No newline at end of file
diff --git a/dev/containers/CCIO/File/index.html b/dev/containers/CCIO/File/index.html
new file mode 100644
index 00000000..1e3099fd
--- /dev/null
+++ b/dev/containers/CCIO/File/index.html
@@ -0,0 +1,7 @@
+
+File (containers.CCIO.File)
Module CCIO.File
type t = string
A file should be represented by its absolute path, but currently this is not enforced.
Like read_dir (with recurse=true), this function walks a directory recursively and yields either files or directories. Is a file anything that doesn't satisfy is_directory (including symlinks, etc.)
raisesSys_error
in case of error (e.g. permission denied) during iteration.
val with_temp :
+ ?temp_dir:string ->
+ prefix:string ->
+ suffix:string ->
+ ( string ->'a )->
+ 'a
with_temp ~prefix ~suffix f will call f with the name of a new temporary file (located in temp_dir). After f returns, the file is deleted. Best to be used in combination with with_out. See Filename.temp_file.
since 0.17
\ No newline at end of file
diff --git a/dev/containers/CCInt/Infix/index.html b/dev/containers/CCInt/Infix/index.html
new file mode 100644
index 00000000..dfd23185
--- /dev/null
+++ b/dev/containers/CCInt/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers.CCInt.Infix)
\ No newline at end of file
diff --git a/dev/containers/CCInt32/Infix/index.html b/dev/containers/CCInt32/Infix/index.html
new file mode 100644
index 00000000..14cb65cf
--- /dev/null
+++ b/dev/containers/CCInt32/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers.CCInt32.Infix)
x / y is the integer quotient of x and y. Integer division. Raise Division_by_zero if the second argument y is zero. This division rounds the real quotient of its arguments towards zero, as specified for Stdlib.(/).
x mod y is the integer remainder of x / y. If y <> zero, the result of x mod y satisfies the following properties: zero <= x mod y < abs y and x = ((x / y) * y) + (x mod y). If y = 0, x mod y raises Division_by_zero.
x lsr y shifts x to the right by y bits. This is a logical shift: zeroes are inserted in the vacated bits regardless of the sign of x. The result is unspecified if y < 0 or y >= 32.
x asr y shifts x to the right by y bits. This is an arithmetic shift: the sign bit of x is replicated and inserted in the vacated bits. The result is unspecified if y < 0 or y >= 32.
\ No newline at end of file
diff --git a/dev/containers/CCInt64/Infix/index.html b/dev/containers/CCInt64/Infix/index.html
new file mode 100644
index 00000000..ba36228b
--- /dev/null
+++ b/dev/containers/CCInt64/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers.CCInt64.Infix)
x / y is the integer quotient of x and y. Integer division. Raise Division_by_zero if the second argument y is zero. This division rounds the real quotient of its arguments towards zero, as specified for Stdlib.(/).
x mod y is the integer remainder of x / y. If y <> zero, the result of x mod y satisfies the following properties: zero <= x mod y < abs y and x = ((x / y) * y) + (x mod y). If y = 0, x mod y raises Division_by_zero.
x lsr y shifts x to the right by y bits. This is a logical shift: zeroes are inserted in the vacated bits regardless of the sign of x. The result is unspecified if y < 0 or y >= 64.
x asr y shifts x to the right by y bits. This is an arithmetic shift: the sign bit of x is replicated and inserted in the vacated bits. The result is unspecified if y < 0 or y >= 64.
\ No newline at end of file
diff --git a/dev/containers/CCList/Assoc/index.html b/dev/containers/CCList/Assoc/index.html
new file mode 100644
index 00000000..d629f9fc
--- /dev/null
+++ b/dev/containers/CCList/Assoc/index.html
@@ -0,0 +1,7 @@
+
+Assoc (containers.CCList.Assoc)
Module CCList.Assoc
type('a, 'b) t = ('a * 'b) list
val get : eq:( 'a->'a-> bool )->'a->( 'a, 'b )t->'b option
get ~eq k alist returns Some v if the given key k is present into alist, or None if not present.
val get_exn : eq:( 'a->'a-> bool )->'a->( 'a, 'b )t->'b
get_exn ~eq k alist returns v if the element k is present into alist. Like get, but unsafe.
raisesNot_found
if the element is not present.
val set : eq:( 'a->'a-> bool )->'a->'b->( 'a, 'b )t->( 'a, 'b )t
set ~eq k v alist adds the binding k, v into the list alist (erase it if already present).
val mem : ?eq:( 'a->'a-> bool )->'a->( 'a, _ )t-> bool
mem ?eq k alist returns true iff k is a key in alist.
map_values f alist applies function f to all values of alist.
since 3.8
\ No newline at end of file
diff --git a/dev/containers/CCList/Infix/index.html b/dev/containers/CCList/Infix/index.html
new file mode 100644
index 00000000..d7d1c86a
--- /dev/null
+++ b/dev/containers/CCList/Infix/index.html
@@ -0,0 +1,9 @@
+
+Infix (containers.CCList.Infix)
(and&) is combine_shortest. It allows to perform a synchronized product between two lists, stopping gently at the shortest. Usable both with let+ and let*.
# let f xs ys zs =
+ let+ x = xs
+ and& y = ys
+ and& z = zs in
+ x + y + z;;
+val f : int list -> int list -> int list -> int list = <fun>
+# f [1;2] [5;6;7] [10;10];;
+- : int list = [16; 18]
since 3.1
\ No newline at end of file
diff --git a/dev/containers/CCList/Ref/index.html b/dev/containers/CCList/Ref/index.html
new file mode 100644
index 00000000..babbd068
--- /dev/null
+++ b/dev/containers/CCList/Ref/index.html
@@ -0,0 +1,2 @@
+
+Ref (containers.CCList.Ref)
push_list rlist l adds elements of the list l at the beginning of the list ref rlist. Elements at the end of the list l will be at the beginning of the list ref rlist.
\ No newline at end of file
diff --git a/dev/containers/CCList/Traverse/argument-1-M/index.html b/dev/containers/CCList/Traverse/argument-1-M/index.html
new file mode 100644
index 00000000..221d9328
--- /dev/null
+++ b/dev/containers/CCList/Traverse/argument-1-M/index.html
@@ -0,0 +1,2 @@
+
+M (containers.CCList.Traverse.1-M)
\ No newline at end of file
diff --git a/dev/containers/CCList/Traverse/index.html b/dev/containers/CCList/Traverse/index.html
new file mode 100644
index 00000000..b4cea588
--- /dev/null
+++ b/dev/containers/CCList/Traverse/index.html
@@ -0,0 +1,2 @@
+
+Traverse (containers.CCList.Traverse)
Module CCList.Traverse
Monadic Traverse
This allows the traversal of a 'a t list where _ t is also a monad.
For example, a 'a option list will be traversed by extracting a value from each option, returning Some [x1;…;x_n]; but if one of the option is None then the whole result is None.
Another example is with result: ('a, 'err) result list can be transformed into ('a list, 'err) result by returning the first error, or Ok [x1; …; xn] if all the elements were successful.
This describes the behavior of sequence_m; map_m is a combination of map and sequence_m; map_m_par is like map_m but useful for some pseudo monads like Lwt.
map_m_par f (x :: l) is like map_m but f x and f l are evaluated "in parallel" before combining their result (for instance in Lwt).
Basically, when encoutering x :: tl, this computes f x and map_m_par f tl, and only then is M.(>>=) used to combine the two results into a new list.
\ No newline at end of file
diff --git a/dev/containers/CCList/module-type-MONAD/index.html b/dev/containers/CCList/module-type-MONAD/index.html
new file mode 100644
index 00000000..1af44d41
--- /dev/null
+++ b/dev/containers/CCList/module-type-MONAD/index.html
@@ -0,0 +1,2 @@
+
+MONAD (containers.CCList.MONAD)
\ No newline at end of file
diff --git a/dev/containers/CCListLabels/Assoc/index.html b/dev/containers/CCListLabels/Assoc/index.html
new file mode 100644
index 00000000..4d635e72
--- /dev/null
+++ b/dev/containers/CCListLabels/Assoc/index.html
@@ -0,0 +1,7 @@
+
+Assoc (containers.CCListLabels.Assoc)
Module CCListLabels.Assoc
type('a, 'b) t = ('a * 'b) list
val get : eq:( 'a->'a-> bool )->'a->( 'a, 'b )t->'b option
get ~eq k alist returns Some v if the given key k is present into alist, or None if not present.
val get_exn : eq:( 'a->'a-> bool )->'a->( 'a, 'b )t->'b
get_exn ~eq k alist returns v if the element k is present into alist. Like get, but unsafe.
raisesNot_found
if the element is not present.
val set : eq:( 'a->'a-> bool )->'a->'b->( 'a, 'b )t->( 'a, 'b )t
set ~eq k v alist adds the binding k, v into the list alist (erase it if already present).
val mem : ?eq:( 'a->'a-> bool )->'a->( 'a, _ )t-> bool
mem ?eq k alist returns true iff k is a key in alist.
map_values f alist applies function f to all values of alist.
since 3.8
\ No newline at end of file
diff --git a/dev/containers/CCListLabels/Infix/index.html b/dev/containers/CCListLabels/Infix/index.html
new file mode 100644
index 00000000..b0829335
--- /dev/null
+++ b/dev/containers/CCListLabels/Infix/index.html
@@ -0,0 +1,9 @@
+
+Infix (containers.CCListLabels.Infix)
(and&) is combine_shortest. It allows to perform a synchronized product between two lists, stopping gently at the shortest. Usable both with let+ and let*.
# let f xs ys zs =
+ let+ x = xs
+ and& y = ys
+ and& z = zs in
+ x + y + z;;
+val f : int list -> int list -> int list -> int list = <fun>
+# f [1;2] [5;6;7] [10;10];;
+- : int list = [16; 18]
since 3.1
\ No newline at end of file
diff --git a/dev/containers/CCListLabels/Ref/index.html b/dev/containers/CCListLabels/Ref/index.html
new file mode 100644
index 00000000..7a90a2ae
--- /dev/null
+++ b/dev/containers/CCListLabels/Ref/index.html
@@ -0,0 +1,2 @@
+
+Ref (containers.CCListLabels.Ref)
push_list rlist l adds elements of the list l at the beginning of the list ref rlist. Elements at the end of the list l will be at the beginning of the list ref rlist.
\ No newline at end of file
diff --git a/dev/containers/CCListLabels/Traverse/argument-1-M/index.html b/dev/containers/CCListLabels/Traverse/argument-1-M/index.html
new file mode 100644
index 00000000..1d017ac3
--- /dev/null
+++ b/dev/containers/CCListLabels/Traverse/argument-1-M/index.html
@@ -0,0 +1,2 @@
+
+M (containers.CCListLabels.Traverse.1-M)
\ No newline at end of file
diff --git a/dev/containers/CCListLabels/Traverse/index.html b/dev/containers/CCListLabels/Traverse/index.html
new file mode 100644
index 00000000..ad83b38e
--- /dev/null
+++ b/dev/containers/CCListLabels/Traverse/index.html
@@ -0,0 +1,2 @@
+
+Traverse (containers.CCListLabels.Traverse)
map_m_par ~f (x :: l) is like map_m but f x and f l are evaluated "in parallel" before combining their result (for instance in Lwt).
\ No newline at end of file
diff --git a/dev/containers/CCListLabels/module-type-MONAD/index.html b/dev/containers/CCListLabels/module-type-MONAD/index.html
new file mode 100644
index 00000000..82a5abdb
--- /dev/null
+++ b/dev/containers/CCListLabels/module-type-MONAD/index.html
@@ -0,0 +1,2 @@
+
+MONAD (containers.CCListLabels.MONAD)
\ No newline at end of file
diff --git a/dev/containers/CCMap/Make/index.html b/dev/containers/CCMap/Make/index.html
new file mode 100644
index 00000000..8aba485a
--- /dev/null
+++ b/dev/containers/CCMap/Make/index.html
@@ -0,0 +1,34 @@
+
+Make (containers.CCMap.Make)
Module CCMap.Make
Parameters
moduleO : Stdlib.Map.OrderedType
Signature
includeStdlib.Map.S
+ withtype'a t = 'aStdlib.Map.Make(O).t
+ withtypekey = O.t
get_or k m ~default returns the value associated to k if present, and returns default otherwise (if k doesn't belong in m).
since 0.16
val update : key->( 'a option->'a option )->'at->'at
update k f m calls f (Some v) if find k m = v, otherwise it calls f None. In any case, if the result is Nonek is removed from m, and if the result is Some v' then add k v' m is returned.
find_first f m where f is a monotonically increasing function, returns the binding of m with the lowest key k such that f k, or raises Not_found if no such key exists. See Map.S.find_first.
since 1.5
val find_first_opt : ( key-> bool )->'at->(key * 'a) option
find_first_opt f m where f is a monotonically increasing function, returns an option containing the binding of m with the lowest key k such that f k, or None if no such key exists. Safe version of find_first.
since 1.5
val merge_safe :
+ f:( key->[ `Left of 'a| `Right of 'b| `Both of 'a * 'b ]->'c option )->
+ 'at->
+ 'bt->
+ 'ct
merge_safe ~f a b merges the maps a and b together.
add_seq ~f m l adds the given seq l of bindings to the map m, using f to combine values that have the same key. If a key occurs several times, all its bindings are combined using the function f, with f key v1 v2 being called with v1 occurring later in the seq than v2.
of_seq_with ~f l builds a map from the given seq l of bindings k_i -> v_i, added in order using add. If a key occurs several times, all its bindings are combined using the function f, with f key v1 v2 being called with v1 occurring later in the seq than v2.
add_iter ~f m l adds the given iter l of bindings to the map m, using f to combine values that have the same key. If a key occurs several times, all its bindings are combined using the function f, with f key v1 v2 being called with v1 occurring later in the seq than v2.
of_iter iter builds a map from the given iter of bindings. Like of_list.
since 2.8
val of_iter_with : f:( key->'a->'a->'a )->(key * 'a)iter->'at
of_iter_with ~f l builds a map from the given iter l of bindings k_i -> v_i, added in order using add. If a key occurs several times, all its bindings are combined using the function f, with f key v1 v2 being called with v1 occurring later in the iter than v2.
of_list l builds a map from the given list l of bindings k_i -> v_i, added in order using add. If a key occurs several times, only its last binding will be present in the result.
val of_list_with : f:( key->'a->'a->'a )->(key * 'a) list->'at
of_list_with ~f l builds a map from the given list l of bindings k_i -> v_i, added in order using add. If a key occurs several times, all its bindings are combined using the function f, with f key v1 v2 being called with v1 occurring later in the list than v2.
add_list ~f m l adds the given list l of bindings to the map m, using f to combine values that have the same key. If a key occurs several times, all its bindings are combined using the function f, with f key v1 v2 being called with v1 occurring later in the seq than v2.
pp ?pp_start ?pp_stop ?pp_arrow ?pp_sep pp_key pp_v m pretty-prints the contents of the map.
\ No newline at end of file
diff --git a/dev/containers/CCMap/module-type-S/index.html b/dev/containers/CCMap/module-type-S/index.html
new file mode 100644
index 00000000..6c84b19a
--- /dev/null
+++ b/dev/containers/CCMap/module-type-S/index.html
@@ -0,0 +1,32 @@
+
+S (containers.CCMap.S)
get_or k m ~default returns the value associated to k if present, and returns default otherwise (if k doesn't belong in m).
since 0.16
val update : key->( 'a option->'a option )->'at->'at
update k f m calls f (Some v) if find k m = v, otherwise it calls f None. In any case, if the result is Nonek is removed from m, and if the result is Some v' then add k v' m is returned.
find_first f m where f is a monotonically increasing function, returns the binding of m with the lowest key k such that f k, or raises Not_found if no such key exists. See Map.S.find_first.
since 1.5
val find_first_opt : ( key-> bool )->'at->(key * 'a) option
find_first_opt f m where f is a monotonically increasing function, returns an option containing the binding of m with the lowest key k such that f k, or None if no such key exists. Safe version of find_first.
since 1.5
val merge_safe :
+ f:( key->[ `Left of 'a| `Right of 'b| `Both of 'a * 'b ]->'c option )->
+ 'at->
+ 'bt->
+ 'ct
merge_safe ~f a b merges the maps a and b together.
add_seq ~f m l adds the given seq l of bindings to the map m, using f to combine values that have the same key. If a key occurs several times, all its bindings are combined using the function f, with f key v1 v2 being called with v1 occurring later in the seq than v2.
of_seq_with ~f l builds a map from the given seq l of bindings k_i -> v_i, added in order using add. If a key occurs several times, all its bindings are combined using the function f, with f key v1 v2 being called with v1 occurring later in the seq than v2.
add_iter ~f m l adds the given iter l of bindings to the map m, using f to combine values that have the same key. If a key occurs several times, all its bindings are combined using the function f, with f key v1 v2 being called with v1 occurring later in the seq than v2.
of_iter iter builds a map from the given iter of bindings. Like of_list.
since 2.8
val of_iter_with : f:( key->'a->'a->'a )->(key * 'a)iter->'at
of_iter_with ~f l builds a map from the given iter l of bindings k_i -> v_i, added in order using add. If a key occurs several times, all its bindings are combined using the function f, with f key v1 v2 being called with v1 occurring later in the iter than v2.
of_list l builds a map from the given list l of bindings k_i -> v_i, added in order using add. If a key occurs several times, only its last binding will be present in the result.
val of_list_with : f:( key->'a->'a->'a )->(key * 'a) list->'at
of_list_with ~f l builds a map from the given list l of bindings k_i -> v_i, added in order using add. If a key occurs several times, all its bindings are combined using the function f, with f key v1 v2 being called with v1 occurring later in the list than v2.
add_list ~f m l adds the given list l of bindings to the map m, using f to combine values that have the same key. If a key occurs several times, all its bindings are combined using the function f, with f key v1 v2 being called with v1 occurring later in the seq than v2.
pp ?pp_start ?pp_stop ?pp_arrow ?pp_sep pp_key pp_v m pretty-prints the contents of the map.
\ No newline at end of file
diff --git a/dev/containers/CCNativeint/Infix/index.html b/dev/containers/CCNativeint/Infix/index.html
new file mode 100644
index 00000000..1463e75a
--- /dev/null
+++ b/dev/containers/CCNativeint/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers.CCNativeint.Infix)
x / y is the integer quotient of x and y. Integer division. Raise Division_by_zero if the second argument y is zero. This division rounds the real quotient of its arguments towards zero, as specified for Stdlib.(/).
x mod y is the integer remainder of x / y. If y <> zero, the result of x mod y satisfies the following properties: zero <= x mod y < abs y and x = ((x / y) * y) + (x mod y). If y = 0, x mod y raises Division_by_zero.
x lsl y shifts x to the left by y bits. The result is unspecified if y < 0 or y >= bitsize, where bitsize is 32 on a 32-bit platform and 64 on a 64-bit platform.
x lsr y shifts x to the right by y bits. This is a logical shift: zeroes are inserted in the vacated bits regardless of the sign of x. The result is unspecified if y < 0 or y >= bitsize.
x asr y shifts x to the right by y bits. This is an arithmetic shift: the sign bit of x is replicated and inserted in the vacated bits. The result is unspecified if y < 0 or y >= bitsize.
\ No newline at end of file
diff --git a/dev/containers/CCOpt/Infix/index.html b/dev/containers/CCOpt/Infix/index.html
new file mode 100644
index 00000000..70c7e2f7
--- /dev/null
+++ b/dev/containers/CCOpt/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers.CCOpt.Infix)
\ No newline at end of file
diff --git a/dev/containers/CCOption/Infix/index.html b/dev/containers/CCOption/Infix/index.html
new file mode 100644
index 00000000..f91f967e
--- /dev/null
+++ b/dev/containers/CCOption/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers.CCOption.Infix)
\ No newline at end of file
diff --git a/dev/containers/CCOrd/Infix/index.html b/dev/containers/CCOrd/Infix/index.html
new file mode 100644
index 00000000..b86156b7
--- /dev/null
+++ b/dev/containers/CCOrd/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers.CCOrd.Infix)
\ No newline at end of file
diff --git a/dev/containers/CCParse/Debug_/index.html b/dev/containers/CCParse/Debug_/index.html
new file mode 100644
index 00000000..22417ad7
--- /dev/null
+++ b/dev/containers/CCParse/Debug_/index.html
@@ -0,0 +1,2 @@
+
+Debug_ (containers.CCParse.Debug_)
trace_fail name p behaves like p, but prints the error message of p on stderr whenever p fails.
parametername
used as a prefix of all trace messages.
val trace_success : string ->print:( 'a-> string )->'at->'at
trace_success name ~print p behaves like p, but prints successful runs of p using print.
val trace_success_or_fail : string ->print:( 'a-> string )->'at->'at
Trace both error or success
\ No newline at end of file
diff --git a/dev/containers/CCParse/Error/index.html b/dev/containers/CCParse/Error/index.html
new file mode 100644
index 00000000..678a5b6a
--- /dev/null
+++ b/dev/containers/CCParse/Error/index.html
@@ -0,0 +1,2 @@
+
+Error (containers.CCParse.Error)
\ No newline at end of file
diff --git a/dev/containers/CCParse/Infix/index.html b/dev/containers/CCParse/Infix/index.html
new file mode 100644
index 00000000..68e8842c
--- /dev/null
+++ b/dev/containers/CCParse/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers.CCParse.Infix)
a <?> msg behaves like a, but if a fails, a <?> msg fails with msg instead. Useful as the last choice in a series of <|>. For example: a <|> b <|> c <?> "expected one of a, b, c".
\ No newline at end of file
diff --git a/dev/containers/CCParse/Position/index.html b/dev/containers/CCParse/Position/index.html
new file mode 100644
index 00000000..d640b4c2
--- /dev/null
+++ b/dev/containers/CCParse/Position/index.html
@@ -0,0 +1,2 @@
+
+Position (containers.CCParse.Position)
Unspecified pretty-printed version of the position.
\ No newline at end of file
diff --git a/dev/containers/CCParse/Slice/index.html b/dev/containers/CCParse/Slice/index.html
new file mode 100644
index 00000000..741bef66
--- /dev/null
+++ b/dev/containers/CCParse/Slice/index.html
@@ -0,0 +1,2 @@
+
+Slice (containers.CCParse.Slice)
Convert the slice into a string. Linear time and memory in length slice
\ No newline at end of file
diff --git a/dev/containers/CCParse/U/index.html b/dev/containers/CCParse/U/index.html
new file mode 100644
index 00000000..42939e1c
--- /dev/null
+++ b/dev/containers/CCParse/U/index.html
@@ -0,0 +1,15 @@
+
+U (containers.CCParse.U)
Module CCParse.U
Utils
This is useful to parse OCaml-like values in a simple way. All the parsers are whitespace-insensitive (they skip whitespace).
val list : ?start:string ->?stop:string ->?sep:string ->'at->'a listt
list p parses a list of p, with the OCaml conventions for start token "[", stop token "]" and separator ";". Whitespace between items are skipped.
Parse a triple using OCaml syntactic conventions. The default is "(a, b, c)".
\ No newline at end of file
diff --git a/dev/containers/CCResult/Infix/index.html b/dev/containers/CCResult/Infix/index.html
new file mode 100644
index 00000000..f7694ecc
--- /dev/null
+++ b/dev/containers/CCResult/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers.CCResult.Infix)
a <*> b evaluates a and b, and, in case of success, returns Ok (a b). Otherwise, it fails, and the error of a is chosen over the error of b if both fail.
val and+ : ( 'a, 'e )t->( 'b, 'e )t->( 'a * 'b, 'e )t
since 2.8
val let* : ( 'a, 'e )t->( 'a->( 'b, 'e )t )->( 'b, 'e )t
since 2.8
val and* : ( 'a, 'e )t->( 'b, 'e )t->( 'a * 'b, 'e )t
since 2.8
\ No newline at end of file
diff --git a/dev/containers/CCResult/Traverse/argument-1-M/index.html b/dev/containers/CCResult/Traverse/argument-1-M/index.html
new file mode 100644
index 00000000..433e09f4
--- /dev/null
+++ b/dev/containers/CCResult/Traverse/argument-1-M/index.html
@@ -0,0 +1,2 @@
+
+M (containers.CCResult.Traverse.1-M)
\ No newline at end of file
diff --git a/dev/containers/CCResult/Traverse/index.html b/dev/containers/CCResult/Traverse/index.html
new file mode 100644
index 00000000..c1c93ac4
--- /dev/null
+++ b/dev/containers/CCResult/Traverse/index.html
@@ -0,0 +1,2 @@
+
+Traverse (containers.CCResult.Traverse)
val retry_m : int ->( unit ->( 'a, 'err )tM.t )->( 'a, 'err list )tM.t
\ No newline at end of file
diff --git a/dev/containers/CCResult/module-type-MONAD/index.html b/dev/containers/CCResult/module-type-MONAD/index.html
new file mode 100644
index 00000000..6e362612
--- /dev/null
+++ b/dev/containers/CCResult/module-type-MONAD/index.html
@@ -0,0 +1,2 @@
+
+MONAD (containers.CCResult.MONAD)
\ No newline at end of file
diff --git a/dev/containers/CCSeq/Infix/index.html b/dev/containers/CCSeq/Infix/index.html
new file mode 100644
index 00000000..1a2855d9
--- /dev/null
+++ b/dev/containers/CCSeq/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers.CCSeq.Infix)
\ No newline at end of file
diff --git a/dev/containers/CCSeq/Traverse/argument-1-M/index.html b/dev/containers/CCSeq/Traverse/argument-1-M/index.html
new file mode 100644
index 00000000..c1c52b62
--- /dev/null
+++ b/dev/containers/CCSeq/Traverse/argument-1-M/index.html
@@ -0,0 +1,2 @@
+
+M (containers.CCSeq.Traverse.1-M)
\ No newline at end of file
diff --git a/dev/containers/CCSeq/Traverse/index.html b/dev/containers/CCSeq/Traverse/index.html
new file mode 100644
index 00000000..2e0aa270
--- /dev/null
+++ b/dev/containers/CCSeq/Traverse/index.html
@@ -0,0 +1,2 @@
+
+Traverse (containers.CCSeq.Traverse)
\ No newline at end of file
diff --git a/dev/containers/CCSeq/module-type-MONAD/index.html b/dev/containers/CCSeq/module-type-MONAD/index.html
new file mode 100644
index 00000000..43fbfc4f
--- /dev/null
+++ b/dev/containers/CCSeq/module-type-MONAD/index.html
@@ -0,0 +1,2 @@
+
+MONAD (containers.CCSeq.MONAD)
\ No newline at end of file
diff --git a/dev/containers/CCSet/Make/index.html b/dev/containers/CCSet/Make/index.html
new file mode 100644
index 00000000..eccf0044
--- /dev/null
+++ b/dev/containers/CCSet/Make/index.html
@@ -0,0 +1,13 @@
+
+Make (containers.CCSet.Make)
\ No newline at end of file
diff --git a/dev/containers/CCSet/module-type-S/index.html b/dev/containers/CCSet/module-type-S/index.html
new file mode 100644
index 00000000..023f3ccf
--- /dev/null
+++ b/dev/containers/CCSet/module-type-S/index.html
@@ -0,0 +1,13 @@
+
+S (containers.CCSet.S)
\ No newline at end of file
diff --git a/dev/containers/CCSexp/Decoder/index.html b/dev/containers/CCSexp/Decoder/index.html
new file mode 100644
index 00000000..78a0c0f0
--- /dev/null
+++ b/dev/containers/CCSexp/Decoder/index.html
@@ -0,0 +1,2 @@
+
+Decoder (containers.CCSexp.Decoder)
Last location for the decoder. In particular, after calling next, this gives the location of the last token used in the result, which is useful in case of error.
since 3.3
\ No newline at end of file
diff --git a/dev/containers/CCSexp/Make/Decoder/index.html b/dev/containers/CCSexp/Make/Decoder/index.html
new file mode 100644
index 00000000..4baa65bf
--- /dev/null
+++ b/dev/containers/CCSexp/Make/Decoder/index.html
@@ -0,0 +1,2 @@
+
+Decoder (containers.CCSexp.Make.Decoder)
Last location for the decoder. In particular, after calling next, this gives the location of the last token used in the result, which is useful in case of error.
since 3.3
\ No newline at end of file
diff --git a/dev/containers/CCSexp/Make/argument-1-Sexp/index.html b/dev/containers/CCSexp/Make/argument-1-Sexp/index.html
new file mode 100644
index 00000000..79b01c27
--- /dev/null
+++ b/dev/containers/CCSexp/Make/argument-1-Sexp/index.html
@@ -0,0 +1,2 @@
+
+Sexp (containers.CCSexp.Make.1-Sexp)
\ No newline at end of file
diff --git a/dev/containers/CCSexp/Make/index.html b/dev/containers/CCSexp/Make/index.html
new file mode 100644
index 00000000..c6d25fa6
--- /dev/null
+++ b/dev/containers/CCSexp/Make/index.html
@@ -0,0 +1,4 @@
+
+Make (containers.CCSexp.Make)
Module CCSexp.Make
Functorized operations
This builds a parser and printer for S-expressions represented as in the Sexp argument.
Parse a S-expression from the given channel. Can read more data than necessary, so don't use this if you need finer-grained control (e.g. to read something else after the S-exp).
\ No newline at end of file
diff --git a/dev/containers/CCSexp_intf/module-type-BASIC_SEXP/index.html b/dev/containers/CCSexp_intf/module-type-BASIC_SEXP/index.html
new file mode 100644
index 00000000..258a805f
--- /dev/null
+++ b/dev/containers/CCSexp_intf/module-type-BASIC_SEXP/index.html
@@ -0,0 +1,2 @@
+
+BASIC_SEXP (containers.CCSexp_intf.BASIC_SEXP)
val match_ : t->atom:( string ->'a )->list:( t list->'a )->'a
\ No newline at end of file
diff --git a/dev/containers/CCSexp_intf/module-type-S/Decoder/index.html b/dev/containers/CCSexp_intf/module-type-S/Decoder/index.html
new file mode 100644
index 00000000..ad280bc6
--- /dev/null
+++ b/dev/containers/CCSexp_intf/module-type-S/Decoder/index.html
@@ -0,0 +1,2 @@
+
+Decoder (containers.CCSexp_intf.S.Decoder)
Last location for the decoder. In particular, after calling next, this gives the location of the last token used in the result, which is useful in case of error.
since 3.3
\ No newline at end of file
diff --git a/dev/containers/CCSexp_intf/module-type-S/index.html b/dev/containers/CCSexp_intf/module-type-S/index.html
new file mode 100644
index 00000000..1586ffe6
--- /dev/null
+++ b/dev/containers/CCSexp_intf/module-type-S/index.html
@@ -0,0 +1,2 @@
+
+S (containers.CCSexp_intf.S)
Parse a S-expression from the given channel. Can read more data than necessary, so don't use this if you need finer-grained control (e.g. to read something else after the S-exp).
val parse_chan_gen : Stdlib.in_channel ->tor_errorgen
Parse a channel into a generator of S-expressions.
val parse_chan_list : Stdlib.in_channel ->t listor_error
\ No newline at end of file
diff --git a/dev/containers/CCSexp_intf/module-type-S0/index.html b/dev/containers/CCSexp_intf/module-type-S0/index.html
new file mode 100644
index 00000000..a27c8047
--- /dev/null
+++ b/dev/containers/CCSexp_intf/module-type-S0/index.html
@@ -0,0 +1,2 @@
+
+S0 (containers.CCSexp_intf.S0)
Parse a S-expression from the given channel. Can read more data than necessary, so don't use this if you need finer-grained control (e.g. to read something else after the S-exp).
val parse_chan_gen : Stdlib.in_channel ->tor_errorgen
Parse a channel into a generator of S-expressions.
val parse_chan_list : Stdlib.in_channel ->t listor_error
\ No newline at end of file
diff --git a/dev/containers/CCSexp_intf/module-type-SEXP/index.html b/dev/containers/CCSexp_intf/module-type-SEXP/index.html
new file mode 100644
index 00000000..856860f4
--- /dev/null
+++ b/dev/containers/CCSexp_intf/module-type-SEXP/index.html
@@ -0,0 +1,2 @@
+
+SEXP (containers.CCSexp_intf.SEXP)
Module type CCSexp_intf.SEXP
Abstract representation of S-expressions (extended)
\ No newline at end of file
diff --git a/dev/containers/CCShims_syntax/module-type-LET/index.html b/dev/containers/CCShims_syntax/module-type-LET/index.html
new file mode 100644
index 00000000..9e9a43c4
--- /dev/null
+++ b/dev/containers/CCShims_syntax/module-type-LET/index.html
@@ -0,0 +1,2 @@
+
+LET (containers.CCShims_syntax.LET)
Module type CCShims_syntax.LET
Let operators on OCaml >= 4.08.0, nothing otherwise
\ No newline at end of file
diff --git a/dev/containers/CCString/Find/index.html b/dev/containers/CCString/Find/index.html
new file mode 100644
index 00000000..0495186f
--- /dev/null
+++ b/dev/containers/CCString/Find/index.html
@@ -0,0 +1,2 @@
+
+Find (containers.CCString.Find)
val find : ?start:int ->pattern:[ `Direct ]pattern->string -> int
find ~start ~pattern s searches for pattern in the string s, left-to-right.
returns
the offset of the first match, -1 otherwise.
parameterstart
offset in string at which we start.
val rfind : ?start:int ->pattern:[ `Reverse ]pattern->string -> int
rfind ~start ~pattern s searches for pattern in the string s, right-to-left.
returns
the offset of the start of the first match from the right, -1 otherwise.
parameterstart
right-offset in string at which we start.
\ No newline at end of file
diff --git a/dev/containers/CCString/Infix/index.html b/dev/containers/CCString/Infix/index.html
new file mode 100644
index 00000000..37ac3cfe
--- /dev/null
+++ b/dev/containers/CCString/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers.CCString.Infix)
\ No newline at end of file
diff --git a/dev/containers/CCString/Split/index.html b/dev/containers/CCString/Split/index.html
new file mode 100644
index 00000000..f56dc8bb
--- /dev/null
+++ b/dev/containers/CCString/Split/index.html
@@ -0,0 +1,18 @@
+
+Split (containers.CCString.Split)
Module CCString.Split
type drop_if_empty = {
first : bool;
last : bool;
}
Specification of what to do with empty blocks, as in split ~by:"-" "-a-b-".
{first=false; last=false} will return ""; "a"; "b"; ""
{first=true; last=false} will return "a"; "b" ""
{first=false; last=true} will return ""; "a"; "b"
{first=true; last=true} will return "a"; "b"
The default value of all remaining functions is Drop_none.
no_drop does not drop any group, even empty and on borders.
since 1.5
val list_ :
+ ?drop:drop_if_empty->
+ by:string ->
+ string ->
+ (string * int * int) list
list_ ~drop ~by s splits the given string s along the given separator by. Should only be used with very small separators, otherwise use Containers_string.KMP.
returns
a list of slices (s,index,length) that are separated by by. String.sub can then be used to actually extract a string from the slice.
raisesFailure
if by = "".
val gen :
+ ?drop:drop_if_empty->
+ by:string ->
+ string ->
+ (string * int * int)gen
gen ~drop ~by s splits the given string s along the given separator by. Returns a gen of slices.
val iter :
+ ?drop:drop_if_empty->
+ by:string ->
+ string ->
+ (string * int * int)iter
iter ~drop ~by s splits the given string s along the given separator by. Returns an iter of slices.
since 2.8
val seq :
+ ?drop:drop_if_empty->
+ by:string ->
+ string ->
+ (string * int * int)Stdlib.Seq.t
seq ~drop ~by s splits the given string s along the given separator by. Returns a Seq.t of slices. Renamed from std_seq since 3.0.
since 3.0
Copying functions
Those split functions actually copy the substrings, which can be more convenient but less efficient in general.
val list_cpy : ?drop:drop_if_empty->by:string ->string ->string list
list_cpy ~drop ~by s splits the given string s along the given separator by. Returns a list of strings.
val gen_cpy : ?drop:drop_if_empty->by:string ->string ->string gen
gen_cpy ~drop ~by s splits the given string s along the given separator by. Returns a gen of strings.
val iter_cpy : ?drop:drop_if_empty->by:string ->string ->string iter
iter_cpy ~drop ~by s splits the given string s along the given separator by. Returns an iter of strings.
since 2.8
val seq_cpy : ?drop:drop_if_empty->by:string ->string ->string Stdlib.Seq.t
seq_cpy ~drop ~by s splits the given string s along the given separator by. Returns a Seq.t of strings. Renamed from std_seq_cpy since 3.0.
since 3.0
val left : by:string ->string ->(string * string) option
left ~by s splits on the first occurrence of by from the leftmost part of the string s.
since 0.12
val left_exn : by:string ->string -> string * string
left_exn ~by s splits on the first occurrence of by from the leftmost part of the string s.
raisesNot_found
if by is not part of the string s.
since 0.16
val right : by:string ->string ->(string * string) option
right ~by s splits on the first occurrence of by from the rightmost part of the string s.
since 0.12
val right_exn : by:string ->string -> string * string
right_exn ~by s splits on the first occurrence of by from the rightmost part of the string s.
raisesNot_found
if by is not part of the string s.
since 0.16
\ No newline at end of file
diff --git a/dev/containers/CCStringLabels/Find/index.html b/dev/containers/CCStringLabels/Find/index.html
new file mode 100644
index 00000000..c557c26b
--- /dev/null
+++ b/dev/containers/CCStringLabels/Find/index.html
@@ -0,0 +1,2 @@
+
+Find (containers.CCStringLabels.Find)
val find : ?start:int ->pattern:[ `Direct ]pattern->string -> int
find ?start ~pattern s searches for pattern in the string s, left-to-right.
returns
the offset of the first match, -1 otherwise.
parameterstart
offset in string at which we start.
val rfind : ?start:int ->pattern:[ `Reverse ]pattern->string -> int
rfind ?start ~pattern s searches for pattern in the string s, right-to-left.
returns
the offset of the start of the first match from the right, -1 otherwise.
parameterstart
right-offset in string at which we start.
\ No newline at end of file
diff --git a/dev/containers/CCStringLabels/Infix/index.html b/dev/containers/CCStringLabels/Infix/index.html
new file mode 100644
index 00000000..d8067fdc
--- /dev/null
+++ b/dev/containers/CCStringLabels/Infix/index.html
@@ -0,0 +1,2 @@
+
+Infix (containers.CCStringLabels.Infix)
\ No newline at end of file
diff --git a/dev/containers/CCStringLabels/Split/index.html b/dev/containers/CCStringLabels/Split/index.html
new file mode 100644
index 00000000..bd231816
--- /dev/null
+++ b/dev/containers/CCStringLabels/Split/index.html
@@ -0,0 +1,18 @@
+
+Split (containers.CCStringLabels.Split)
Module CCStringLabels.Split
type drop_if_empty = {
first : bool;
last : bool;
}
Specification of what to do with empty blocks, as in split ~by:"-" "-a-b-".
{first=false; last=false} will return ""; "a"; "b"; ""
{first=true; last=false} will return "a"; "b" ""
{first=false; last=true} will return ""; "a"; "b"
{first=true; last=true} will return "a"; "b"
The default value of all remaining functions is Drop_none.
no_drop does not drop any group, even empty and on borders.
since 1.5
val list_ :
+ ?drop:drop_if_empty->
+ by:string ->
+ string ->
+ (string * int * int) list
list_ ?drop ~by s splits the given string s along the given separator by. Should only be used with very small separators, otherwise use Containers_string.KMP.
returns
a list of slices (s,index,length) that are separated by by. String.sub can then be used to actually extract a string from the slice.
raisesFailure
if by = "".
val gen :
+ ?drop:drop_if_empty->
+ by:string ->
+ string ->
+ (string * int * int)gen
gen ?drop ~by s splits the given string s along the given separator by. Returns a gen of slices.
val iter :
+ ?drop:drop_if_empty->
+ by:string ->
+ string ->
+ (string * int * int)iter
iter ?drop ~by s splits the given string s along the given separator by. Returns an iter of slices.
since 2.8
val seq :
+ ?drop:drop_if_empty->
+ by:string ->
+ string ->
+ (string * int * int)Stdlib.Seq.t
seq ?drop ~by s splits the given string s along the given separator by. Returns a Seq.t of slices. Renamed from std_seq since 3.0.
since 3.0
Copying functions
Those split functions actually copy the substrings, which can be more convenient but less efficient in general.
val list_cpy : ?drop:drop_if_empty->by:string ->string ->string list
list_cpy ?drop ~by s splits the given string s along the given separator by. Returns a list of strings.
val gen_cpy : ?drop:drop_if_empty->by:string ->string ->string gen
gen_cpy ?drop ~by s splits the given string s along the given separator by. Returns a gen of strings.
val iter_cpy : ?drop:drop_if_empty->by:string ->string ->string iter
iter_cpy ?drop ~by s splits the given string s along the given separator by. Returns an iter of strings.
since 2.8
val seq_cpy : ?drop:drop_if_empty->by:string ->string ->string Stdlib.Seq.t
seq_cpy ?drop ~by s splits the given string s along the given separator by. Returns a Seq.t of strings. Renamed from std_seq_cpy since 3.0.
since 3.0
val left : by:string ->string ->(string * string) option
left ~by s splits on the first occurrence of by from the leftmost part of the string s.
since 0.12
val left_exn : by:string ->string -> string * string
left_exn ~by s splits on the first occurrence of by from the leftmost part of the string s.
raisesNot_found
if by is not part of the string s.
since 0.16
val right : by:string ->string ->(string * string) option
right ~by s splits on the first occurrence of by from the rightmost part of the string s.
since 0.12
val right_exn : by:string ->string -> string * string
right_exn ~by s splits on the first occurrence of by from the rightmost part of the string s.
raisesNot_found
if by is not part of the string s.
since 0.16
\ No newline at end of file
diff --git a/dev/containers/CCUnix/Infix/index.html b/dev/containers/CCUnix/Infix/index.html
new file mode 100644
index 00000000..a9824809
--- /dev/null
+++ b/dev/containers/CCUnix/Infix/index.html
@@ -0,0 +1,4 @@
+
+Infix (containers.CCUnix.Infix)
Module CCUnix.Infix
val (?|) : ( 'a, Stdlib.Buffer.t, unit, call_result )Stdlib.format4->'a
\ No newline at end of file
diff --git a/dev/containers/Containers/Hashtbl/Make/index.html b/dev/containers/Containers/Hashtbl/Make/index.html
new file mode 100644
index 00000000..68082fcf
--- /dev/null
+++ b/dev/containers/Containers/Hashtbl/Make/index.html
@@ -0,0 +1,2 @@
+
+Make (containers.Containers.Hashtbl.Make)
\ No newline at end of file
diff --git a/dev/containers/Containers/Hashtbl/MakeSeeded/index.html b/dev/containers/Containers/Hashtbl/MakeSeeded/index.html
new file mode 100644
index 00000000..3ce331c5
--- /dev/null
+++ b/dev/containers/Containers/Hashtbl/MakeSeeded/index.html
@@ -0,0 +1,2 @@
+
+MakeSeeded (containers.Containers.Hashtbl.MakeSeeded)
\ No newline at end of file
diff --git a/dev/containers/Containers/Hashtbl/index.html b/dev/containers/Containers/Hashtbl/index.html
new file mode 100644
index 00000000..c6205a8d
--- /dev/null
+++ b/dev/containers/Containers/Hashtbl/index.html
@@ -0,0 +1,33 @@
+
+Hashtbl (containers.Containers.Hashtbl)
keys tbl f iterates on keys (similar order as Hashtbl.iter).
val values : ( 'a, 'b )Stdlib.Hashtbl.t->'bCCHashtbl.iter
values tbl f iterates on values in the table tbl.
val keys_list : ( 'a, 'b )Stdlib.Hashtbl.t->'a list
keys_list tbl is the list of keys in tbl. If the key is in the Hashtable multiple times, all occurrences will be returned.
since 0.8
val values_list : ( 'a, 'b )Stdlib.Hashtbl.t->'b list
values_list tbl is the list of values in tbl.
since 0.8
val map_list : ( 'a->'b->'c )->( 'a, 'b )Stdlib.Hashtbl.t->'c list
map_list f tbl maps on a tbl's items. Collect into a list.
val incr : ?by:int ->( 'a, int )Stdlib.Hashtbl.t->'a-> unit
incr ?by tbl x increments or initializes the counter associated with x. If get tbl x = None, then after update, get tbl x = Some 1; otherwise, if get tbl x = Some n, now get tbl x = Some (n+1).
parameterby
if specified, the int value is incremented by by rather than 1.
since 0.16
val decr : ?by:int ->( 'a, int )Stdlib.Hashtbl.t->'a-> unit
decr ?by tbl x is like incr but subtract 1 (or the value of by). If the value reaches 0, the key is removed from the table. This does nothing if the key is not already present in the table.
since 0.16
val to_iter : ( 'a, 'b )Stdlib.Hashtbl.t->('a * 'b)CCHashtbl.iter
Iterate on bindings in the table.
since 2.8
val add_list : ( 'a, 'b list )Stdlib.Hashtbl.t->'a->'b-> unit
add_list tbl x y adds y to the list x is bound to. If x is not bound, it becomes bound to y.
since 0.16
val add_iter : ( 'a, 'b )Stdlib.Hashtbl.t->('a * 'b)CCHashtbl.iter-> unit
Add the corresponding pairs to the table, using Hashtbl.add.
since 2.8
val add_iter_with :
+ f:( 'a->'b->'b->'b )->
+ ( 'a, 'b )Stdlib.Hashtbl.t->
+ ('a * 'b)CCHashtbl.iter->
+ unit
Add the corresponding pairs to the table, using Hashtbl.add. If a key occurs multiple times in the input, the values are combined using f in an unspecified order.
since 3.3
val add_seq : ( 'a, 'b )Stdlib.Hashtbl.t->('a * 'b)Stdlib.Seq.t-> unit
Add the corresponding pairs to the table, using Hashtbl.add. Renamed from add_std_seq since 3.0.
since 3.0
val add_seq_with :
+ f:( 'a->'b->'b->'b )->
+ ( 'a, 'b )Stdlib.Hashtbl.t->
+ ('a * 'b)Stdlib.Seq.t->
+ unit
Add the corresponding pairs to the table. If a key occurs multiple times in the input, the values are combined using f in an unspecified order.
since 3.3
val of_iter : ('a * 'b)CCHashtbl.iter->( 'a, 'b )Stdlib.Hashtbl.t
From the given bindings, added in order. If a key occurs multiple times in the input, the values are combined using f in an unspecified order.
since 3.3
val add_iter_count : ( 'a, int )Stdlib.Hashtbl.t->'aCCHashtbl.iter-> unit
add_iter_count tbl i increments the count of each element of i by calling incr. This is useful for counting how many times each element of i occurs.
since 2.8
val add_seq_count : ( 'a, int )Stdlib.Hashtbl.t->'aStdlib.Seq.t-> unit
add_seq_count tbl seq increments the count of each element of seq by calling incr. This is useful for counting how many times each element of seq occurs. Renamed from add_std_seq_count since 3.0.
since 3.0
val of_iter_count : 'aCCHashtbl.iter->( 'a, int )Stdlib.Hashtbl.t
Like add_seq_count, but allocates a new table and returns it.
since 2.8
val of_seq_count : 'aStdlib.Seq.t->( 'a, int )Stdlib.Hashtbl.t
Like add_seq_count, but allocates a new table and returns it. Renamed from of_std_seq_count since 3.0.
since 3.0
val to_list : ( 'a, 'b )Stdlib.Hashtbl.t->('a * 'b) list
to_list tbl returns the list of (key,value) bindings (order unspecified).
val of_list : ('a * 'b) list->( 'a, 'b )Stdlib.Hashtbl.t
of_list l builds a table from the given list l of bindings k_i -> v_i, added in order using add. If a key occurs several times, it will be added several times, and the visible binding will be the last one.
From the given bindings, added in order. If a key occurs multiple times in the input, the values are combined using f in an unspecified order.
since 3.3
val update :
+ ( 'a, 'b )Stdlib.Hashtbl.t->
+ f:( 'a->'b option->'b option )->
+ k:'a->
+ unit
update tbl ~f ~k updates key k by calling f k (Some v) if k was mapped to v, or f k None otherwise; if the call returns None then k is removed/stays removed, if the call returns Some v' then the binding k -> v' is inserted using Hashtbl.replace.
since 0.14
val get_or_add : ( 'a, 'b )Stdlib.Hashtbl.t->f:( 'a->'b )->k:'a->'b
get_or_add tbl ~k ~f finds and returns the binding of k in tbl, if it exists. If it does not exist, then f k is called to obtain a new binding v; k -> v is added to tbl and v is returned.
pp ~pp_start ~pp_stop ~pp_sep ~pp arrow pp_k pp_v returns a table printer given a pp_k printer for individual key and a pp_v printer for individual value. pp_start and pp_stop control the opening and closing delimiters, by default print nothing. pp_sep control the separator between binding. pp_arrow control the arrow between the key and value. Renamed from print since 2.0.
\ No newline at end of file
diff --git a/dev/containers/Containers/Hashtbl/module-type-HashedType/index.html b/dev/containers/Containers/Hashtbl/module-type-HashedType/index.html
new file mode 100644
index 00000000..7882dbde
--- /dev/null
+++ b/dev/containers/Containers/Hashtbl/module-type-HashedType/index.html
@@ -0,0 +1,2 @@
+
+HashedType (containers.Containers.Hashtbl.HashedType)
\ No newline at end of file
diff --git a/dev/containers/Containers/Hashtbl/module-type-S/index.html b/dev/containers/Containers/Hashtbl/module-type-S/index.html
new file mode 100644
index 00000000..8c4974be
--- /dev/null
+++ b/dev/containers/Containers/Hashtbl/module-type-S/index.html
@@ -0,0 +1,2 @@
+
+S (containers.Containers.Hashtbl.S)
\ No newline at end of file
diff --git a/dev/containers/Containers/Hashtbl/module-type-SeededHashedType/index.html b/dev/containers/Containers/Hashtbl/module-type-SeededHashedType/index.html
new file mode 100644
index 00000000..7e00f800
--- /dev/null
+++ b/dev/containers/Containers/Hashtbl/module-type-SeededHashedType/index.html
@@ -0,0 +1,2 @@
+
+SeededHashedType (containers.Containers.Hashtbl.SeededHashedType)
\ No newline at end of file
diff --git a/dev/containers/Containers/Hashtbl/module-type-SeededS/index.html b/dev/containers/Containers/Hashtbl/module-type-SeededS/index.html
new file mode 100644
index 00000000..63ac40b3
--- /dev/null
+++ b/dev/containers/Containers/Hashtbl/module-type-SeededS/index.html
@@ -0,0 +1,2 @@
+
+SeededS (containers.Containers.Hashtbl.SeededS)
\ No newline at end of file
diff --git a/dev/containers/ContainersLabels/Hashtbl/Make/index.html b/dev/containers/ContainersLabels/Hashtbl/Make/index.html
new file mode 100644
index 00000000..04823a7b
--- /dev/null
+++ b/dev/containers/ContainersLabels/Hashtbl/Make/index.html
@@ -0,0 +1,2 @@
+
+Make (containers.ContainersLabels.Hashtbl.Make)
\ No newline at end of file
diff --git a/dev/containers/ContainersLabels/Hashtbl/MakeSeeded/index.html b/dev/containers/ContainersLabels/Hashtbl/MakeSeeded/index.html
new file mode 100644
index 00000000..42691ae8
--- /dev/null
+++ b/dev/containers/ContainersLabels/Hashtbl/MakeSeeded/index.html
@@ -0,0 +1,2 @@
+
+MakeSeeded (containers.ContainersLabels.Hashtbl.MakeSeeded)
\ No newline at end of file
diff --git a/dev/containers/ContainersLabels/Hashtbl/index.html b/dev/containers/ContainersLabels/Hashtbl/index.html
new file mode 100644
index 00000000..12eaa84f
--- /dev/null
+++ b/dev/containers/ContainersLabels/Hashtbl/index.html
@@ -0,0 +1,33 @@
+
+Hashtbl (containers.ContainersLabels.Hashtbl)
keys tbl f iterates on keys (similar order as Hashtbl.iter).
val values : ( 'a, 'b )Stdlib.Hashtbl.t->'bCCHashtbl.iter
values tbl f iterates on values in the table tbl.
val keys_list : ( 'a, 'b )Stdlib.Hashtbl.t->'a list
keys_list tbl is the list of keys in tbl. If the key is in the Hashtable multiple times, all occurrences will be returned.
since 0.8
val values_list : ( 'a, 'b )Stdlib.Hashtbl.t->'b list
values_list tbl is the list of values in tbl.
since 0.8
val map_list : ( 'a->'b->'c )->( 'a, 'b )Stdlib.Hashtbl.t->'c list
map_list f tbl maps on a tbl's items. Collect into a list.
val incr : ?by:int ->( 'a, int )Stdlib.Hashtbl.t->'a-> unit
incr ?by tbl x increments or initializes the counter associated with x. If get tbl x = None, then after update, get tbl x = Some 1; otherwise, if get tbl x = Some n, now get tbl x = Some (n+1).
parameterby
if specified, the int value is incremented by by rather than 1.
since 0.16
val decr : ?by:int ->( 'a, int )Stdlib.Hashtbl.t->'a-> unit
decr ?by tbl x is like incr but subtract 1 (or the value of by). If the value reaches 0, the key is removed from the table. This does nothing if the key is not already present in the table.
since 0.16
val to_iter : ( 'a, 'b )Stdlib.Hashtbl.t->('a * 'b)CCHashtbl.iter
Iterate on bindings in the table.
since 2.8
val add_list : ( 'a, 'b list )Stdlib.Hashtbl.t->'a->'b-> unit
add_list tbl x y adds y to the list x is bound to. If x is not bound, it becomes bound to y.
since 0.16
val add_iter : ( 'a, 'b )Stdlib.Hashtbl.t->('a * 'b)CCHashtbl.iter-> unit
Add the corresponding pairs to the table, using Hashtbl.add.
since 2.8
val add_iter_with :
+ f:( 'a->'b->'b->'b )->
+ ( 'a, 'b )Stdlib.Hashtbl.t->
+ ('a * 'b)CCHashtbl.iter->
+ unit
Add the corresponding pairs to the table, using Hashtbl.add. If a key occurs multiple times in the input, the values are combined using f in an unspecified order.
since 3.3
val add_seq : ( 'a, 'b )Stdlib.Hashtbl.t->('a * 'b)Stdlib.Seq.t-> unit
Add the corresponding pairs to the table, using Hashtbl.add. Renamed from add_std_seq since 3.0.
since 3.0
val add_seq_with :
+ f:( 'a->'b->'b->'b )->
+ ( 'a, 'b )Stdlib.Hashtbl.t->
+ ('a * 'b)Stdlib.Seq.t->
+ unit
Add the corresponding pairs to the table. If a key occurs multiple times in the input, the values are combined using f in an unspecified order.
since 3.3
val of_iter : ('a * 'b)CCHashtbl.iter->( 'a, 'b )Stdlib.Hashtbl.t
From the given bindings, added in order. If a key occurs multiple times in the input, the values are combined using f in an unspecified order.
since 3.3
val add_iter_count : ( 'a, int )Stdlib.Hashtbl.t->'aCCHashtbl.iter-> unit
add_iter_count tbl i increments the count of each element of i by calling incr. This is useful for counting how many times each element of i occurs.
since 2.8
val add_seq_count : ( 'a, int )Stdlib.Hashtbl.t->'aStdlib.Seq.t-> unit
add_seq_count tbl seq increments the count of each element of seq by calling incr. This is useful for counting how many times each element of seq occurs. Renamed from add_std_seq_count since 3.0.
since 3.0
val of_iter_count : 'aCCHashtbl.iter->( 'a, int )Stdlib.Hashtbl.t
Like add_seq_count, but allocates a new table and returns it.
since 2.8
val of_seq_count : 'aStdlib.Seq.t->( 'a, int )Stdlib.Hashtbl.t
Like add_seq_count, but allocates a new table and returns it. Renamed from of_std_seq_count since 3.0.
since 3.0
val to_list : ( 'a, 'b )Stdlib.Hashtbl.t->('a * 'b) list
to_list tbl returns the list of (key,value) bindings (order unspecified).
val of_list : ('a * 'b) list->( 'a, 'b )Stdlib.Hashtbl.t
of_list l builds a table from the given list l of bindings k_i -> v_i, added in order using add. If a key occurs several times, it will be added several times, and the visible binding will be the last one.
From the given bindings, added in order. If a key occurs multiple times in the input, the values are combined using f in an unspecified order.
since 3.3
val update :
+ ( 'a, 'b )Stdlib.Hashtbl.t->
+ f:( 'a->'b option->'b option )->
+ k:'a->
+ unit
update tbl ~f ~k updates key k by calling f k (Some v) if k was mapped to v, or f k None otherwise; if the call returns None then k is removed/stays removed, if the call returns Some v' then the binding k -> v' is inserted using Hashtbl.replace.
since 0.14
val get_or_add : ( 'a, 'b )Stdlib.Hashtbl.t->f:( 'a->'b )->k:'a->'b
get_or_add tbl ~k ~f finds and returns the binding of k in tbl, if it exists. If it does not exist, then f k is called to obtain a new binding v; k -> v is added to tbl and v is returned.
pp ~pp_start ~pp_stop ~pp_sep ~pp arrow pp_k pp_v returns a table printer given a pp_k printer for individual key and a pp_v printer for individual value. pp_start and pp_stop control the opening and closing delimiters, by default print nothing. pp_sep control the separator between binding. pp_arrow control the arrow between the key and value. Renamed from print since 2.0.
\ No newline at end of file
diff --git a/dev/containers/ContainersLabels/Hashtbl/module-type-HashedType/index.html b/dev/containers/ContainersLabels/Hashtbl/module-type-HashedType/index.html
new file mode 100644
index 00000000..9cc71f79
--- /dev/null
+++ b/dev/containers/ContainersLabels/Hashtbl/module-type-HashedType/index.html
@@ -0,0 +1,2 @@
+
+HashedType (containers.ContainersLabels.Hashtbl.HashedType)
\ No newline at end of file
diff --git a/dev/containers/ContainersLabels/Hashtbl/module-type-S/index.html b/dev/containers/ContainersLabels/Hashtbl/module-type-S/index.html
new file mode 100644
index 00000000..8be31674
--- /dev/null
+++ b/dev/containers/ContainersLabels/Hashtbl/module-type-S/index.html
@@ -0,0 +1,2 @@
+
+S (containers.ContainersLabels.Hashtbl.S)
\ No newline at end of file
diff --git a/dev/containers/ContainersLabels/Hashtbl/module-type-SeededHashedType/index.html b/dev/containers/ContainersLabels/Hashtbl/module-type-SeededHashedType/index.html
new file mode 100644
index 00000000..4b18572d
--- /dev/null
+++ b/dev/containers/ContainersLabels/Hashtbl/module-type-SeededHashedType/index.html
@@ -0,0 +1,2 @@
+
+SeededHashedType (containers.ContainersLabels.Hashtbl.SeededHashedType)
\ No newline at end of file
diff --git a/dev/containers/ContainersLabels/Hashtbl/module-type-SeededS/index.html b/dev/containers/ContainersLabels/Hashtbl/module-type-SeededS/index.html
new file mode 100644
index 00000000..cb229858
--- /dev/null
+++ b/dev/containers/ContainersLabels/Hashtbl/module-type-SeededS/index.html
@@ -0,0 +1,2 @@
+
+SeededS (containers.ContainersLabels.Hashtbl.SeededS)
\ No newline at end of file
diff --git a/dev/containers/Containers_bencode/Decode/index.html b/dev/containers/Containers_bencode/Decode/index.html
new file mode 100644
index 00000000..f298edca
--- /dev/null
+++ b/dev/containers/Containers_bencode/Decode/index.html
@@ -0,0 +1,2 @@
+
+Decode (containers.Containers_bencode.Decode)
\ No newline at end of file
diff --git a/dev/containers/Containers_bencode/Encode/index.html b/dev/containers/Containers_bencode/Encode/index.html
new file mode 100644
index 00000000..8dd91509
--- /dev/null
+++ b/dev/containers/Containers_bencode/Encode/index.html
@@ -0,0 +1,2 @@
+
+Encode (containers.Containers_bencode.Encode)
\ No newline at end of file
diff --git a/dev/containers/Containers_bencode/Str_map/index.html b/dev/containers/Containers_bencode/Str_map/index.html
new file mode 100644
index 00000000..c60c62be
--- /dev/null
+++ b/dev/containers/Containers_bencode/Str_map/index.html
@@ -0,0 +1,6 @@
+
+Str_map (containers.Containers_bencode.Str_map)
\ No newline at end of file
diff --git a/dev/containers/Containers_codegen/Bitfield/index.html b/dev/containers/Containers_codegen/Bitfield/index.html
new file mode 100644
index 00000000..8fb94337
--- /dev/null
+++ b/dev/containers/Containers_codegen/Bitfield/index.html
@@ -0,0 +1,2 @@
+
+Bitfield (containers.Containers_codegen.Bitfield)
Module Containers_codegen.Bitfield
Generate efficient bitfields that fit in an integer
type t
val make : ?emit_failure_if_too_wide:bool ->name:string ->unit ->t
Make a new bitfield with the given name.
parametername
the name of the generated type
parameteremit_failure_if_too_wide
if true, generated code includes a runtime assertion that Sys.int_size is wide enough to support this type
field_int ty name ~width adds a field of size width to the bitfield with name name. The accessors will be for integers of width bits, and the setter might assert that the provided integer fits.
Generate code for the implementation for the given bitfield
\ No newline at end of file
diff --git a/dev/containers/Containers_codegen/Code/index.html b/dev/containers/Containers_codegen/Code/index.html
new file mode 100644
index 00000000..7fb791b7
--- /dev/null
+++ b/dev/containers/Containers_codegen/Code/index.html
@@ -0,0 +1,2 @@
+
+Code (containers.Containers_codegen.Code)
\ No newline at end of file
diff --git a/dev/containers/Containers_scc/.dummy b/dev/containers/Containers_scc/.dummy
new file mode 100644
index 00000000..e69de29b
diff --git a/dev/containers/Containers_scc/Make/argument-1-A/index.html b/dev/containers/Containers_scc/Make/argument-1-A/index.html
new file mode 100644
index 00000000..3cd6c8a4
--- /dev/null
+++ b/dev/containers/Containers_scc/Make/argument-1-A/index.html
@@ -0,0 +1,2 @@
+
+A (containers.Containers_scc.Make.1-A)
\ No newline at end of file
diff --git a/dev/containers/Containers_scc/Make/index.html b/dev/containers/Containers_scc/Make/index.html
new file mode 100644
index 00000000..693a8d67
--- /dev/null
+++ b/dev/containers/Containers_scc/Make/index.html
@@ -0,0 +1,2 @@
+
+Make (containers.Containers_scc.Make)
\ No newline at end of file
diff --git a/dev/containers/Containers_scc/index.html b/dev/containers/Containers_scc/index.html
new file mode 100644
index 00000000..191094f6
--- /dev/null
+++ b/dev/containers/Containers_scc/index.html
@@ -0,0 +1,8 @@
+
+Containers_scc (containers.Containers_scc)
val scc :
+ tbl:(moduleStdlib.Hashtbl.S withtypekey = 'node)->
+ graph:'graph->
+ children:( 'graph->'node->'nodeiter )->
+ nodes:'node list->
+ unit ->
+ 'node list list
\ No newline at end of file
diff --git a/dev/containers/Containers_scc/module-type-ARG/index.html b/dev/containers/Containers_scc/module-type-ARG/index.html
new file mode 100644
index 00000000..19fd1610
--- /dev/null
+++ b/dev/containers/Containers_scc/module-type-ARG/index.html
@@ -0,0 +1,2 @@
+
+ARG (containers.Containers_scc.ARG)
\ No newline at end of file
diff --git a/dev/containers/Containers_scc/module-type-S/A/index.html b/dev/containers/Containers_scc/module-type-S/A/index.html
new file mode 100644
index 00000000..762e8cb8
--- /dev/null
+++ b/dev/containers/Containers_scc/module-type-S/A/index.html
@@ -0,0 +1,2 @@
+
+A (containers.Containers_scc.S.A)
\ No newline at end of file
diff --git a/dev/containers/Containers_scc/module-type-S/index.html b/dev/containers/Containers_scc/module-type-S/index.html
new file mode 100644
index 00000000..1f4387e6
--- /dev/null
+++ b/dev/containers/Containers_scc/module-type-S/index.html
@@ -0,0 +1,2 @@
+
+S (containers.Containers_scc.S)
\ No newline at end of file
diff --git a/dev/containers/index.html b/dev/containers/index.html
index e57835cf..14610192 100644
--- a/dev/containers/index.html
+++ b/dev/containers/index.html
@@ -1,2 +1,2 @@
-index (containers.index)
containers index
Library containers
This library exposes the following toplevel modules: