Module Isa_btree.Leaf_node_frame_impls
Leaf operations
For generality, these use an arbitrary "map_ops". Typically we use Base.Map to implement these underlying maps.
module Internal_leaf_impl : sig ... end
Node operations
module Internal_node_impl : sig ... end
Frame operations
module Internal_frame_impl : sig ... end
module Internal_ : sig ... end
include Internal_
val make_leaf_ops : map_ops:('a, 'b, 'c) Isa_btree_intf.Leaf_node_frame_map_ops_type.map_ops -> ('a, 'b, 'c) Isa_btree_intf.leaf_ops
val make_node_ops : map_ops:('a option, 'b, 'c) Isa_btree_intf.Leaf_node_frame_map_ops_type.map_ops -> ('a, 'b, 'c) Isa_btree_intf.node_ops
val make_frame_ops : map_ops:('a option, 'b, 'c) Isa_btree_intf.Leaf_node_frame_map_ops_type.map_ops -> ('a, 'b, ('a, 'b, 'c) Isa_btree_intf.Frame_type.frame, 'c) Isa_btree_intf.frame_ops
val make_leaf_node_frame_ops_from_comparators : k_cmp:('a, 'b) Base.Map.comparator -> kopt_cmp:('c option, 'd) Base.Map.comparator -> (('a, 'e, ('a, 'e, 'b) Isa_btree_intf.Internal_leaf_node.leaf) Isa_btree_intf.leaf_ops, ('c, 'f, ('c, 'f, 'd) Isa_btree_intf.Internal_leaf_node.node) Isa_btree_intf.node_ops, ('c, 'f, ('c, 'f, ('c option, 'f, 'd) Base.Map.t) Isa_btree_intf.Frame_type.frame, ('c option, 'f, 'd) Base.Map.t) Isa_btree_intf.frame_ops) Isa_btree_intf.leaf_node_frame_ops
val make_leaf_node_frame_ops_from_comparators : k_cmp:('a, 'b) Base.Map.comparator -> kopt_cmp:('c option, 'd) Base.Map.comparator -> (('a, 'e, ('a, 'e, 'b) Isa_btree_intf.leaf) Isa_btree_intf.leaf_ops, ('c, 'f, ('c, 'f, 'd) Isa_btree_intf.node) Isa_btree_intf.node_ops, ('c, 'f, ('c, 'f, ('c option, 'f, 'd) Base.Map.t) Isa_btree_intf.frame, ('c option, 'f, 'd) Base.Map.t) Isa_btree_intf.frame_ops) Isa_btree_intf.leaf_node_frame_ops