---

pircv-chan(x) ==  G(x) where   G(chan<val>) =   G(chan?(var)) = chan

---

Definitions :  pi_prefix_ind: pi_prefix_ind,  it:
FDL editor aliases :  pircv-chan

---

pircv-chan(x)  ==    G(x)  where      G(chan<val>)  =  \mcdot{}    G(chan?(var))  =  chan


Date html generated: 2010_08_27-PM-08_36_47
Last ObjectModification: 2010_02_11-PM-06_33_20

Home Index