catala.dcalc
Dcalc.Optimizations
Optimization passes for default calculus programs and expressions
catala.desugared
catala.driver
catala.lcalc
catala.literate
catala.runtime_jsoo
catala.runtime_ocaml
catala.scalc
catala.scopelang
catala.surface
catala.utils
catala.verification
val optimize_expr : Ast.decl_ctx -> 'm Ast.marked_expr -> 'm Ast.marked_expr Bindlib.box
val optimize_program : 'm Ast.program -> Ast.untyped Ast.program