Nuprl Definition : prior-as-rec-bind-class-out
prior-as-rec-bind-class-out(i) == case i of inl(b) => Send(b) | inr(x) => Null
Definitions occuring in Statement :
null-class: Null,
send-once-class: Send(b),
decide: case b of inl(x) => s[x] | inr(y) => t[y]
FDL editor aliases :
prior-as-rec-bind-class-out
Latex:
prior-as-rec-bind-class-out(i) == case i of inl(b) => Send(b) | inr(x) => Null
Date html generated:
2015_07_21-PM-03_13_21
Last ObjectModification:
2012_04_13-PM-04_28_56
Home
Index