Nuprl Definition : pircv
pircv(chan;var) == <"rcv", chan, var>
Definitions occuring in Statement :
pair: <a, b>
,
token: "$token"
FDL editor aliases :
pircv
Latex:
pircv(chan;var) == <"rcv", chan, var>
Date html generated:
2015_07_23-AM-11_31_21
Last ObjectModification:
2014_05_04-PM-07_44_34
Home
Index