Nuprl Definition : pDVmsg
pDVmsg(val;index) == inr inr inr (inl <val, index>)
Definitions occuring in Statement :
pair: <a, b>
,
inr: inr x
,
inl: inl x
FDL editor aliases :
pDVmsg
Latex:
pDVmsg(val;index) == inr inr inr (inl <val, index>)
Date html generated:
2015_07_23-AM-11_34_34
Last ObjectModification:
2012_08_30-PM-01_42_29
Home
Index