Functor Core_map_intf.Check_creators

module Check_creators: functor (T : T.T3) -> functor (Tree : T.T3) -> functor (Key : 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, 'c) t       := ('a, 'b, 'c) T.t 
     with type ('a, 'b, 'c) tree    := ('a, 'b, 'c) Tree.t 
     with type 'a key               := 'a Key.t) -> sig .. end

Parameters:

`T`	:	`T.T3`
`Tree`	:	`T.T3`
`Key`	:	`T.T1`
`Options`	:	`T.T3`
`M`	:	`Creators_generic with type ('a, 'b, 'c) options := ('a, 'b, 'c) Options.t with type ('a, 'b, 'c) t := ('a, 'b, 'c) T.t with type ('a, 'b, 'c) tree := ('a, 'b, 'c) Tree.t with type 'a key := 'a Key.t`