def internal_order_go_gt

bend-mathlib@0.8.1.0 · string.bend:198

import Base

198def internal_order_go_gt(a: String, b: String) -> {String.order.go(a, b, GT{}) == GT{} : Cmp}:
199  match a b:
200    case SNil{} SNil{}:
201      {==}
202    case SNil{} SCon{h, t}:
203      {==}
204    case SCon{h, t} SNil{}:
205      {==}
206    case SCon{Chr{x}, t1} SCon{Chr{y}, t2}:
207      {==}