[top] [prev] [next]
infix & (a,b: TEXT): TEXT
Last modified on Tue Oct 3 17:29:58 PDT 1995 by heydon modified on Mon Apr 18 14:07:42 PDT 1994 by kalsow