Automaton (parsexp_symbolic_automaton.parsexp_symbolic_automaton.Parsexp_symbolic

module Action : sig ... end

Action associated to transitions. Actions correspond to the similarly named functions in Parsexp.Automaton_actions.

module Epsilon_action : sig ... end

Action associated to epsilon transitions, i.e. transitions that do not consume a character.

module Transition : sig ... end

module Final_transition : sig ... end

module State : sig ... end

module type S = sig ... end

include S

val transition : 
  (Parsexp_symbolic_automaton__.State.t * Base.char) ->
  Parsexp_symbolic_automaton__.Automaton_intf.Transition.t

val transition_eoi : 
  Parsexp_symbolic_automaton__.State.t ->
  Parsexp_symbolic_automaton__.Automaton_intf.Final_transition.t

val action_to_runtime_function : Action.t -> Base.string Base.option

val epsilon_action_to_runtime_function : 
  Epsilon_action.t ->
  Base.string Base.option