package grenier

  1. Overview
  2. Docs
include DFA with type label := Label.t
type states
type transitions
val transitions : transitions Strong.Finite.set
val initials : states Strong.Finite.elt array
val finals : states Strong.Finite.elt array
val refinements : refine:(iter:((states Strong.Finite.elt -> unit) -> unit) -> unit) -> unit
OCaml

Innovation. Community. Security.