package catala
-
law_source
-
runtime
-
utils
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Translation from Surface.Ast to Desugaring.Ast.
- Removes syntactic sugars
- Separate code from legislation
val desugar_program :
Name_resolution.context ->
Ast.program ->
Desugared.Ast.programMain function of this module