package grenier

  1. Overview
  2. Docs
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/index.html

Module State_eliminationSource

Sourcemodule type Regex = sig ... end
Sourcemodule type NFA = sig ... end
Sourcemodule Convert (Regex : Regex) (NFA : NFA with type label := Regex.t) : sig ... end
Sourceval convert : (module Regex with type t = 'regex) -> (module NFA with type label = 'regex and type Finals.n = 'finals and type Initials.n = 'initials) -> ('initials, ('finals Strong.Finite.elt * 'regex list) list) Strong.Finite.Array.t
OCaml

Innovation. Community. Security.