Module Isa_btree.Make_with_first_class_module

module type T = sig ... end
val make_with_first_class_module : monad_ops:'t Tjr_monad.monad_ops -> cs:Constants.constants -> k_cmp:('k -> 'k -> int) -> (module T with type k = 'k and type r = 'r and type t = 't and type v = 'v)