def String.cmp.fin

Base · base.bend:2004

2004def String.cmp.fin(t1: String, t2: String, hc: (Char & Char) & Cmp) ->
2005  (String & String) & Cmp:
2006  ((h1b, h2b), c) = hc
2007  match c:
2008    case LT{}:
2009      ((SCon{h1b, t1}, SCon{h2b, t2}), LT{})
2010    case EQ{}:
2011      String.cmp.rec(h1b, h2b, String.cmp(t1, t2))
2012    case GT{}:
2013      ((SCon{h1b, t1}, SCon{h2b, t2}), GT{})