int ->
int array ->
object
method fill_pat_binary : Grammar.rule_pat -> Grammar.rule_pat -> unit
method fill_pat_unary : Grammar.rule_pat -> unit
method get_rhs_state : int -> int -> int
method is_eqv : int * int -> int * int -> bool
method output_self : unit -> unit
method set_eqv : int * int -> int * int -> unit
method set_rhs_state : int -> int -> int -> unit
end