package grenier

  1. Overview
  2. Docs
module type T = Natural.T
val cardinal : 'n set -> int
val iter : 'n set -> ('n elt -> unit) -> unit
val rev_iter : 'n set -> ('n elt -> unit) -> unit
val fold_left : 'n set -> ('b -> 'n elt -> 'b) -> 'b -> 'b
val fold_right : 'n set -> ('n elt -> 'b -> 'b) -> 'b -> 'b
module Gensym () : sig ... end
OCaml

Innovation. Community. Security.