Module Dcalc.OptimizationsSource

Optimization passes for default calculus programs and expressions

Sourceval optimize_program : 'm Ast.program -> 'm Ast.program