Module Core_kernel__Set_intf.Check_creators

Parameters

• T : Core_kernel__.T.T2
• Tree : Core_kernel__.T.T2
• Elt : Core_kernel__.T.T1
• Cmp : Core_kernel__.T.T1
• Options : Core_kernel__.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 with type 'cmp cmp := 'cmp Cmp.t

Signature