catala.surface
Ast.unop_map
catala.dcalc
catala.desugared
catala.driver
catala.lcalc
catala.literate
catala.runtime
catala.scalc
catala.scopelang
catala.utils
constraint 'b unop_map = 'b unop_map
inherit op_kind_map
method visit_Not : 'c -> unop
method visit_Minus : 'c -> op_kind -> unop
method visit_unop : 'c -> unop -> unop