A type-lido file associates computations with nodes of the abstract syntax tree.
This macro is attached to a product file.
Abstract syntax tree[32]
Complete Appel's tree specification[33]
Left-to-right evaluation[38]
Print statement sequencing[39]
Expression evaluation[35]