Minimize.DFAmodule States : Strong.Finite.Setmodule Transitions : Strong.Finite.Setmodule Label : Map.OrderedTypeval label : Transitions.n Strong.Finite.elt -> Label.tval source : Transitions.n Strong.Finite.elt -> States.n Strong.Finite.eltval target : Transitions.n Strong.Finite.elt -> States.n Strong.Finite.eltval initial_state : States.n Strong.Finite.eltmodule Final :
Strong.Finite.Map with type codomain = States.n Strong.Finite.elt