Module Base__Map_intf.Check_accessors
Consistency checks (same as in Container
).
Parameters
T : Base.T.T3
Tree : Base.T.T3
Key : Base.T.T1
Cmp : Base.T.T1
Options : Base.T.T3
M : Accessors_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 'cmp cmp := 'cmp Cmp.t