catala.desugared
Desugared
catala
catala.dcalc
catala.literate
catala.scopelang
catala.surface
catala.utils
module Ast : sig ... end
Abstract syntax tree of the desugared representation
module Dependency : sig ... end
Scope dependencies computations using OCamlgraph
module Desugared_to_scope : sig ... end
Translation from Desugared.Ast to Scopelang.Ast
Desugared.Ast
Scopelang.Ast