grenier.valmari
Minimize.Final
grenier.baltree
grenier.binpacking
grenier.doubledouble
grenier.dset
grenier.hll
grenier.jmphash
grenier.orderme
grenier.pcg
grenier.physh
grenier.strong
grenier.trope
type domain
val domain : domain Strong.Finite.set
type codomain = States.n Strong.Finite.elt
val get : domain Strong.Finite.elt -> codomain