ApplyPred: obj
Set:
xlm:< Object
e: ref xlm
scan:
current: ref xlm
applyPred:
pred:<
in XXX: ref xlm
out Byyy: var Boolean
--"pred:".print
out Bxx: var boolean
--"applyPred:".print
Person:
in name: ref String.String
Vehicle:
lcn: var integer
Registration:
in owner: ref Person
in v: ref Vehicle
Mary: obj Person("Mary")
Jens: obj Person("Jens")
MVR: obj Set
xlm:: Registration