Type Inout pose Elem

Name Type Inout a

Type Inout ef Elem

Type Return Path

Name Type Inout err

Name Type Inout

Name Type Return SMC

Type Inout qConj SMC

Type Inout Const q

Out: Scope Name Type