package grenier

  1. Overview
  2. Docs
module type Regex = sig ... end
module type NFA = sig ... end
module Convert (Regex : Regex) (NFA : NFA with type label := Regex.t) : sig ... end
val convert : (module Regex with type t = 'regex) -> (module NFA with type label = 'regex0 and type Finals.n = 'finals and type Initials.n = 'initials) -> ('initials0, ('finals0 Strong.Finite.elt * 'regex1 list) list) Strong.Finite.Array.t
OCaml

Innovation. Community. Security.