method visit_And : 'c -> unitmethod visit_Or : 'c -> unitmethod visit_Xor : 'c -> unitmethod visit_Add : 'c -> op_kind -> unitmethod visit_Sub : 'c -> op_kind -> unitmethod visit_Mult : 'c -> op_kind -> unitmethod visit_Div : 'c -> op_kind -> unitmethod visit_Lt : 'c -> op_kind -> unitmethod visit_Lte : 'c -> op_kind -> unitmethod visit_Gt : 'c -> op_kind -> unitmethod visit_Gte : 'c -> op_kind -> unitmethod visit_Eq : 'c -> unitmethod visit_Neq : 'c -> unitmethod visit_Concat : 'c -> unitmethod visit_binop : 'c -> binop -> unit