In (p.grenier.0.12.doc.grenier.valmari.Valmari.Minimize.In)

include DFA with type label := Label.t

type states

val states : states Strong.Finite.set

type transitions

val transitions : transitions Strong.Finite.set

val label : transitions Strong.Finite.elt -> Label.t

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

val refinements : 
  refine:(iter:((states Strong.Finite.elt -> unit) -> unit) -> unit) ->
  unit