---

bound_in_prefix(pre) ==  G(pre) where   G(chan<c>) = []  G(chan?(x)) = [x]

---

Definitions :  pi_prefix_ind: Error :pi_prefix_ind,  cons: [car / cdr],  nil: []
FDL editor aliases :  bound_in_prefix

---

bound\_in\_prefix(pre)  ==    G(pre)  where      G(chan<c>)  =  []    G(chan?(x))  =  [x]


Date html generated: 2010_08_27-PM-08_42_24
Last ObjectModification: 2010_02_08-PM-02_52_16

Home Index