package lustre-v6

  1. Overview
  2. Docs

Static evaluation of types.

Evaluates the type of an expression, and return a val_exp with its "type_" field updated (and ditto for the type of its sub expr).

Modif 12/07 :

  • Travaille au niveau Lic. donc on vire IdSolver.t qui travaille au niveau syntaxique

Innovation. Community. Security.