catala.dcalc
Dcalc.Optimizations
Optimization passes for default calculus programs and expressions
catala.desugared
catala.driver
catala.lcalc
catala.literate
catala.runtime
catala.scalc
catala.scopelang
catala.surface
catala.utils
catala.verification
val optimize_expr : Ast.decl_ctx -> Ast.expr Utils.Pos.marked -> Ast.expr Utils.Pos.marked Bindlib.box
val optimize_program : Ast.program -> Ast.program
val remove_all_logs : Ast.expr Utils.Pos.marked -> Ast.expr Utils.Pos.marked Bindlib.box