val cardinal : 'n set -> intval iter : 'n set -> ('n elt -> unit) -> unitval rev_iter : 'n set -> ('n elt -> unit) -> unitval fold_left : 'n set -> ('b -> 'n elt -> 'b) -> 'b -> 'bval fold_right : 'n set -> ('n elt -> 'b -> 'b) -> 'b -> 'bmodule Gensym () : sig ... end