package grenier

  1. Overview
  2. Docs
type states
type transitions
val transitions : transitions Strong.Finite.set
type label
val initials : states Strong.Finite.elt array
val finals : states Strong.Finite.elt array
OCaml

Innovation. Community. Security.