Definition
Type Environment
A type environment is a finite partial map that assigns types or type schemes to variables.
Formally, for variables
and type schemes , A typing judgement
is interpreted relative to the assumptions stored in .
Type Environment
A type environment is a finite partial map that assigns types or type schemes to variables.
Formally, for variables
and type schemes , A typing judgement
is interpreted relative to the assumptions stored in .