Module Isa_btree.Make
This functor takes various types and constants (including, in particular, the type of keys and the value for the comparison on keys) and generates extra types leaf,node,leaf_stream...
for the map implementations. Then there is a function make_btree_ops
which takes a store_ops
and returns the B-tree operations.
Note that these are "pre_btree_ops" because they expose internal types that we may want to hide: leaf, node, frame, leaf_stream(?). See package tjr_btree for the simpler versions.
module type S = sig ... end
Argument to Make functor
module type T = sig ... end
Result of Make functor