Head(in, primes) := in ? [val(n)={primes.val(n) | (v x) PrimeFilter(n, in, x) | Head(x,primes)}]
102103104105106107108109
protected String protoToString(Prototype p) { ByteArrayOutputStream baos = new ByteArrayOutputStream(); PrintStream ps = new PrintStream(baos); Print.ps = ps; new Print().printFunction(p, true); return baos.toString(); }