Scopelang.From_desugaredSourceTranslation from Desugared.Ast to Scopelang.Ast
val build_exceptions_graph :
Desugared.Ast.program ->
Desugared.Dependency.ExceptionsDependencies.t Desugared.Ast.ScopeDef.Map.tThis function builds all the exceptions dependency graphs for all variables of all scopes.
val translate_program :
Desugared.Ast.program ->
Desugared.Dependency.ExceptionsDependencies.t Desugared.Ast.ScopeDef.Map.t ->
Shared_ast.untyped Ast.programThis functions returns the translated program as well as all the graphs of exceptions inferred for each scope variable of the program.