package catala

  1. Overview
  2. Docs

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 EAbs nodes, (untyped ones are inserted during desugaring, e.g. by `let-in` constructs), as well as EApp and EAppOp nodes
  • it resolves the structure names of EDStructAccess nodes.