package catala

You can search for identifiers within the package.

in-package search v0.2.0

Module `Desugared.Desugared_to_scope`Source

Translation from Desugared.Ast to Scopelang.Ast

Sourceval translate_program : Ast.program -> Scopelang.Ast.program