package catala

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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),
  • it resolves the structure names of EDStructAccess nodes.
val program : Ast.program -> Ast.program
OCaml

Innovation. Community. Security.