package catala

You can search for identifiers within the package.

in-package search v0.2.0

catala

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Lcalc.Closure_conversion`Source

This module performs environment-passing style closure conversion, relying on the existential TClosureEnv type and tuples for closure environments. The implementation is based on François Pottier's MPRI lesson. After closure conversion, closure hoisting is perform and all closures end up as toplevel definitions.

Source

val closure_conversion : 
  keep_special_ops:bool ->
  'm Ast.program ->
  'm Ast.program

package catala

Module Lcalc.Closure_conversionSource

Module `Lcalc.Closure_conversion`Source