Functor Core_set_intf.Check_creators

module Check_creators: 
functor (T : T.T2) ->
functor (Tree : T.T2) ->
functor (Elt : T.T1) ->
functor (Options : T.T3) ->
functor (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) -> sig .. end
Parameters:
T : T.T2
Tree : T.T2
Elt : T.T1
Options : T.T3
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