is mentioned by

Def Macro < x,y > .P(x;y)(p) == P(1of(p);2of(p))

[plambda]

In prior sections: core mb list 1 prog 1

Try larger context: Graphs