package grenier

  1. Overview
  2. Docs
type states

The set of DFA nodes

type transitions
val transitions : transitions Strong.Finite.set

The set of DFA transitions

type label

The type of labels that annotate transitions

Get the label associated with a transition

Get the source state of the transition

Get the target state of the transition

OCaml

Innovation. Community. Security.