pDVmsg(val;index) == inr inr inr (inl <val, index> )
Definitions :
inr: inr x ,
inl: inl x ,
pair: <a, b>
FDL editor aliases :
pDVmsg
pDVmsg(val;index) == inr inr inr (inl <val, index> )
Date html generated:
2010_08_27-PM-08_42_39
Last ObjectModification:
2010_04_23-AM-11_30_15
Home
Index