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