[top] [prev] [next]
infix & (a,b: TEXT): TEXT
Last modified on Wed Apr 3 09:38:54 PST 1996 by heydon modified on Mon Apr 18 14:07:42 PDT 1994 by kalsow