FuncVirtExVclass: obj
Person:
in age: var integer
Foolish:
elm:< Object
S: ref Elm
reduce:
F:<
in R: ref elm
in T: var Boolean
out B: var Boolean
in BB: var boolean
out B: var boolean
FG: obj Foolish(#Person)
BBB: var Boolean
fisk:
in q: ref Person
in x: var Boolean
out Bx: var Boolean