Out: Name T_BOOL T

Out: Scope Name Type

Out: Scope Name Type

Out: Scope Name Type

. InOut: Scope Name

Out: Scope Name Type

Out: Scope Name Type

Name Type Return

Name Type Inout f

Name Type Return SMC