Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package catala
Module Desugared.DisambiguateSource
This module does local typing in order to fill some missing type information in the AST:
- it fills the types of arguments in
EAbsnodes, (untyped ones are inserted during desugaring, e.g. by `let-in` constructs), - it resolves the structure names of
EDStructAccessnodes.