grenier.state_elimination
NFA.Initials
grenier.balmap
grenier.baltree
grenier.binpacking
grenier.dbseq
grenier.doubledouble
grenier.fastdom
grenier.hll
grenier.jmphash
grenier.orderme
grenier.physh
grenier.strong
grenier.trope
grenier.valmari
include Strong.Natural.T
type n
val n : n Strong.Natural.t
type a = States.n Strong.Finite.elt
val table : (n, a) Strong.Finite.Array.t