package grenier
A collection of various algorithms in OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
grenier-0.15.tbz
sha256=dec7f84b9e93d5825f10c7dea84d5a74d7365ede45664ae63c26b5e8045c1c44
sha512=b8aa1569c2e24b89674d1b34de34cd1798896bb6a53aa5a1287f68cee880125e6b687f66ad73da9069a01cc3ece1f0684f48328b099d43529bff736b772c8fd8
doc/grenier.state_elimination/State_elimination/Convert/argument-2-NFA/index.html
Parameter Convert.NFA
module States : Strong.Natural.Tmodule Transitions : Strong.Natural.Tval label : Transitions.n Strong.Finite.elt -> Regex.tval source : Transitions.n Strong.Finite.elt -> States.n Strong.Finite.eltval target : Transitions.n Strong.Finite.elt -> States.n Strong.Finite.eltmodule Initials :
Strong.Finite.Array.T with type a = States.n Strong.Finite.eltmodule Finals : Strong.Finite.Array.T with type a = States.n Strong.Finite.elt