Up – Package index » grenier » Library grenier.valmari » Valmari » Minimize » Final

Module `DFA.Final`

module Domain : Finite.Set

type codomain = States.t Finite.element

val element : Domain.t Finite.element -> codomain