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