Parameter MakeSetPrinter.Set

type elt
type t
val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a