Module Rule.Shift

module Shift: sig .. end

val transition_rule : 'a -> int array array -> 'b array -> int -> 'b

module type Parameters = sig .. end

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