~/jendhub

def internal_rec_is_eq

bend-mathlib@0.8.1.0 · string.bend:316

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

316def internal_rec_is_eq(h1: Char, h2: Char, rr: (String & String) & Cmp) -> {Cmp.is_eq(Pair.snd(String & String, Cmp, String.cmp.rec(h1, h2, rr))) == Cmp.is_eq(Pair.snd(String & String, Cmp, rr)) : Bool}:
317  match rr:
318    case ((a, b), c):
319      {==}

Uses (9)

Used by (1)