package grenier
A collection of various algorithms in OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
grenier-v0.11.tbz
sha256=658e1ad6fc5fdce0871975b3ebcb3ec760248be63cdb9ea965e3121cc7478d77
sha512=d9ff83f1b025f34c22af5921444993df219761dcee8d8cb5a940f266df8677278967434b22314c5c82d5d983e4c94c04cd52c4717d5c1f22fbd3a022631fae1c
doc/grenier.valmari/Valmari/Minimize/argument-1-DFA/index.html
Parameter Minimize.DFA
module 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