grenier.strong
Finite.Elt
grenier.balmap
grenier.baltree
grenier.binder_introducer
grenier.binpacking
grenier.dbseq
grenier.doubledouble
grenier.fastdom
grenier.hll
grenier.jmphash
grenier.orderme
grenier.physh
grenier.state_elimination
grenier.trope
grenier.valmari
val of_int_opt : 'n set -> int -> 'n elt option
val of_int : 'n set -> int -> 'n elt
val to_int : 'n elt -> int
val compare : 'n elt -> 'n elt -> int