Module `Map_intf.Check_creators`

Parameters

module T : sig ... end

module Tree : sig ... end

module Key : sig ... end

module Cmp : sig ... end

module Options : sig ... end

module 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 with type 'a cmp := 'a Cmp.t