Module Check.Make_creators_check

Parameters

• M : Creators_generic with type 'a t := 'a Type.t with type 'a elt := 'a Elt.t with type ('a, 'z) create_options := ('a, 'z) Options.t
• Options : Base.T.T2
• Elt : Base.T.T1
• Type : Base.T.T1

Signature