M : Creators_generic with type (a, b, c) options := (a, b, c) Options.t with type (a, b) t := (a, b) T.t with type (a, b) tree := (a, b) Tree.t with type a elt := a Elt.t with type cmp cmp := cmp Cmp.t
Options : Base.T.T3
Cmp : Base.T.T1
Elt : Base.T.T1
Tree : Base.T.T2
T : Base.T.T2