Out: Name Type tHead TLR

Out: Name Type t

Name Type Return

Name Type Return Set

Name Type Return Set

Out: Scope Name Type

Name Type Return

Out: Scope Name Type

Out: Scope Name Type

Out: Scope Name Type