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