catala.surface
Surface.Desugaring
Translation from Surface.Ast to Desugared.Ast.
Surface.Ast
Desugared.Ast
catala.dcalc
catala.desugared
catala.driver
catala.lcalc
catala.literate
catala.runtime_jsoo
catala.runtime_ocaml
catala.scalc
catala.scopelang
catala.utils
catala.verification
val desugar_program : Name_resolution.context -> Ast.program -> Desugared.Ast.program
Main function of this module