You can search for identifiers within the package.
in-package search v0.2.0
grenier.valmari
Valmari.DFA
type states
val states : states Strong.Finite.set
type transitions
val transitions : transitions Strong.Finite.set
type label
val label : transitions Strong.Finite.elt -> label
val source : transitions Strong.Finite.elt -> states Strong.Finite.elt
val target : transitions Strong.Finite.elt -> states Strong.Finite.elt
val initials : states Strong.Finite.elt array
val finals : states Strong.Finite.elt array