Module Base__.Set_intf.Check_accessors

Consistency checks (same as in Container).

Parameters

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 elt := a Elt.t with type cmp cmp := cmp Cmp.t with type (a, b) named := (a, b) Named.t

Signature