Module type MapDomain.Bindings

Subsignature of S, which is sufficient for Print.

type t
type key
type value
val fold : (key -> value -> 'a -> 'a) -> t -> 'a -> 'a
val iter : (key -> value -> unit) -> t -> unit