package grenier

You can search for identifiers within the package.

in-package search v0.2.0

Module type `Valmari.DFA`Source

Sourcemodule States : Strong.Finite.Set

Sourcemodule Transitions : Strong.Finite.Set

Sourcemodule Label : Map.OrderedType

Sourceval label : Transitions.n Strong.Finite.elt -> Label.t

Sourceval source : Transitions.n Strong.Finite.elt -> States.n Strong.Finite.elt

Sourceval target : Transitions.n Strong.Finite.elt -> States.n Strong.Finite.elt

Sourceval initial_state : States.n Strong.Finite.elt

module Final : 
  Strong.Finite.Map with type codomain = States.n Strong.Finite.elt