---

pDVrequest(rndv2;counter) ==
  inr inr inr inr inr inr inr <rndv2, counter>       

---

Definitions :  inr: inr x ,  pair: <a, b>
FDL editor aliases :  pDVrequest

---

pDVrequest(rndv2;counter)  ==    inr  inr  inr  inr  inr  inr  inr  <rndv2,  counter>             


Date html generated: 2010_08_27-PM-08_42_51
Last ObjectModification: 2010_04_23-AM-11_31_09

Home Index