Module type Minimize.DFA

type states
val states : states Fix__.Indexing.cardinal
type state = int
type transitions
val transitions : transitions Fix__.Indexing.cardinal
type transition = int
type label
val label : transition -> label
val source : transition -> state
val target : transition -> state
val initials : state Fix__.Enum.enum
val finals : state Fix__.Enum.enum