type assignment

theory A mapping of the free variables of some expression

E to types. This is used in type inference to deduce the

type of E and its subexpressions.

(2002-02-22)