catala.surface
Ast.binop_map
catala.dcalc
catala.desugared
catala.driver
catala.lcalc
catala.literate
catala.runtime
catala.scalc
catala.scopelang
catala.utils
constraint 'b binop_map = 'b binop_map
inherit op_kind_map
method visit_And : 'c -> binop
method visit_Or : 'c -> binop
method visit_Xor : 'c -> binop
method visit_Add : 'c -> op_kind -> binop
method visit_Sub : 'c -> op_kind -> binop
method visit_Mult : 'c -> op_kind -> binop
method visit_Div : 'c -> op_kind -> binop
method visit_Lt : 'c -> op_kind -> binop
method visit_Lte : 'c -> op_kind -> binop
method visit_Gt : 'c -> op_kind -> binop
method visit_Gte : 'c -> op_kind -> binop
method visit_Eq : 'c -> binop
method visit_Neq : 'c -> binop
method visit_Concat : 'c -> binop
method visit_binop : 'c -> binop -> binop