package gobba

  1. Overview
  2. Docs
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