Nuprl Definition : callbyvalueall
let x ⟵ a in B[x] == eval x = evalall(a) in B[x]
Definitions occuring in Statement :
evalall: evalall(t),
callbyvalue: callbyvalue
Definitions occuring in definition :
callbyvalue: callbyvalue,
evalall: evalall(t)
FDL editor aliases :
cbva
Latex:
let x \mleftarrow{}{} a in B[x] == eval x = evalall(a) in B[x]
Date html generated:
2016_07_08-PM-04_46_53
Last ObjectModification:
2015_09_22-PM-05_44_33
Theory : call!by!value_1
Home
Index