type assignment

---

type assignment
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.

---