package grenier

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `State_elimination.Convert`Source

module Regex : Regex

module NFA : NFA with type label := Regex.t

val result : 
  (NFA.Initials.n, (NFA.Finals.n Strong.Finite.elt * Regex.t list) list)
    Strong.Finite.Array.t