package catala

You can search for identifiers within the package.

in-package search v0.2.0

Module `Surface.Desugaring`Source

Translation from Surface.Ast to Desugaring.Ast.

val desugar_program : 
  Name_resolution.context ->
  Ast.program ->
  Desugared.Ast.program

Main function of this module