package minicaml

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

val optimize : Types.expr -> Types.expr

val optimize_let : 
  (Types.ide * Types.expr) list ->
  Types.expr ->
  bool ->
  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