Module Tjr_btree_examples.Make_2
Wrapper around make_1, targeting an object
val r_size : int
val make_constants : k_size:int -> v_size:int -> Isa_btree.Constants.constants
Use this to construct constants for S if necessary
module type S = sig ... end
module type T = sig ... end
Int->int example
module S_int_int : sig ... end
k,v are both int
module type INT_INT_EX = T with type k = int and type v = int
module Int_int_ex : INT_INT_EX