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
module Make : functor (S : S) -> T with type k = S.k and type v = S.v

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