M : Creators_generic with type (a, b) t := (a, b) Type.t with type a key := a Key.t with type (a, b, z) create_options := (a, b, z) Options.t
Options : Base.T.T3
Key : Base.T.T1
Type : Base.T.T2