Module DesugaredSource

Sourcemodule Ast : sig ... end

Abstract syntax tree of the desugared representation

Sourcemodule Dependency : sig ... end

Scope dependencies computations using OCamlgraph

Sourcemodule Disambiguate : sig ... end

This module does local typing in order to fill some missing type information in the AST:

Sourcemodule From_surface : sig ... end

Translation from Surface.Ast to Desugared.Ast.

Sourcemodule Linting : sig ... end
Sourcemodule Name_resolution : sig ... end

Builds a context that allows for mapping each name to a precise uid, taking lexical scopes into account

Sourcemodule Print : sig ... end