Module `Set_intf.Check_accessors`

Parameters

module T : sig ... end

module Tree : sig ... end

module Elt : sig ... end

module Named : sig ... end

module Cmp : sig ... end

module Options : sig ... end

module M : Accessors_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 with type ('a, 'b) named := ('a, 'b) Named.t