method visit_And : 'b -> 'c -> unit
method visit_Or : 'b -> 'd -> unit
method visit_Xor : 'b -> 'e -> unit
method visit_Add : 'b -> 'f -> op_kind -> unit
method visit_Sub : 'b -> 'g -> op_kind -> unit
method visit_Mult : 'b -> 'h -> op_kind -> unit
method visit_Div : 'b -> 'i -> op_kind -> unit
method visit_Lt : 'b -> 'j -> op_kind -> unit
method visit_Lte : 'b -> 'k -> op_kind -> unit
method visit_Gt : 'b -> 'l -> op_kind -> unit
method visit_Gte : 'b -> 'm -> op_kind -> unit
method visit_Eq : 'b -> 'n -> unit
method visit_Neq : 'b -> 'o -> unit
method visit_Concat : 'b -> 'p -> unit
method visit_binop : 'b -> 'q -> binop -> unit