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

module Make_v1 : functor (S : S) -> sig ... end

Version with full sig

module Make_v2 : functor (S : S) -> T with module S = S

Version with restricted sig