~/jendhub

def internal_cmp_true_eq

bend-mathlib@0.8.1.0 · string.bend:244

import bend-mathlib@0.8.1.0/string.bend as String
import Base

244def internal_cmp_true_eq(+a: String, +b: String, h: {Cmp.is_eq(Pair.snd(String & String, Cmp, String.cmp(a, b))) == True{} : Bool}) -> {String.eq(a, b) == True{} : Bool}:
245  %internal_order_cmp(a, b) : {Cmp.is_eq(_) == True{} : Bool}
246  h

Uses (9)

Used by (1)