def String.cmp.rec

Base · base.bend:1994

import Base

1994def String.cmp.rec(h1b: Char, h2b: Char, rr: (String & String) & Cmp) ->
1995  (String & String) & Cmp:
1996  ((t1b, t2b), r) = rr
1997  ((SCon{h1b, t1b}, SCon{h2b, t2b}), r)

Uses (5)

Used by (24)