Module Gobba.Optimizer
val optimize : Types.expr -> Types.expr
Normalize an AST expression
val optimize_let : Types.assignment_type list -> Types.expr -> Types.expr
val iterate_optimizer : Types.expr -> Types.expr
Apply the optimizer again and again on an expression until it is fully reduced and ready to be evaluated