Module Base__.Hashtbl_intf.Check

module Make_creators_check : functor (Type : Base.T.T2) -> functor (Key : Base.T.T1) -> functor (Options : Base.T.T3) -> functor (M : Creators_generic with type (a, b) t := (a, b) Type.t with type key := a Key.t with type (a, b, z) create_options := (a, b, z) Options.t) -> sig ... end
module Check_creators_is_specialization_of_creators_generic : functor (M : Creators) -> sig ... end