Type Input p
Out: Scope Name Type
Type Inout path Path
Type Inout a
Out: Scope Name Type Input
Type Return Is
