catala.utils
Marked.marked_map
catala.dcalc
catala.desugared
catala.driver
catala.lcalc
catala.literate
catala.runtime_jsoo
catala.runtime_ocaml
catala.scalc
catala.scopelang
catala.surface
catala.verification
constraint 'self = < visit_marked : 'a. ('env -> 'a -> 'a) -> 'env -> ('a, 'm) t -> ('a, 'm) t.. >
method visit_marked : 'a. ('env -> 'a -> 'a) -> 'env -> ('a, 'm) t -> ('a, 'm) t