Module Base__.Hash_set_intf.Check.Make_creators_check

Parameters

M : Creators_generic with type t := a Type.t with type elt := a Elt.t with type (a, z) create_options := (a, z) Options.t

Signature