Functor Rule.Shift.Automaton


module Automaton: 
functor (Parameters : Parameters) -> sig .. end
Parameters:
Parameters : Parameters

include struct ... end
val name : string
val transition_rule : int array array -> state array -> int -> state