free_in_prefix(pre) ==
  G(pre) where   
  G(chan<c>) = [chan; c]  
  G(chan?(v)) = [chan]



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

free\_in\_prefix(pre)  ==    G(pre)  where      G(chan<c>)  =  [chan;  c]    G(chan?(v))  =  [chan]


Date html generated: 2010_08_27-PM-08_42_27
Last ObjectModification: 2010_02_08-PM-02_57_27

Home Index