Parameter Print.M

type t
type key = D.t
type value = R.t
val fold : (key -> value -> 'a -> 'a) -> t -> 'a -> 'a
val iter : (key -> value -> unit) -> t -> unit