Send(b) ==  once-class(
es,e.b)
Definitions occuring in Statement : 
once-class: once-class(X), 
lambda:
x.A[x]
Definitions : 
once-class: once-class(X), 
lambda:
x.A[x]
FDL editor aliases : 
send-once-class
Send(b)  ==    once-class(\mlambda{}es,e.b)
Date html generated:
2011_08_16-PM-04_41_32
Last ObjectModification:
2011_06_20-PM-12_05_56
Home
Index