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