Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package gobba
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val optimize : Types.expr -> Types.exprNormalize an AST expression
val optimize_let : Types.assignment_type list -> Types.expr -> Types.exprval iterate_optimizer : Types.expr -> Types.exprApply the optimizer again and again on an expression until it is fully reduced and ready to be evaluated