grenier.strong
Finite.Set
grenier.balmap
grenier.baltree
grenier.binpacking
grenier.dbseq
grenier.doubledouble
grenier.fastdom
grenier.hll
grenier.jmphash
grenier.orderme
grenier.physh
grenier.state_elimination
grenier.trope
grenier.valmari
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