~/jendhub

def internal_is_empty_reverse_go

bend-mathlib@0.8.1.0 · string.bend:411

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

411def internal_is_empty_reverse_go(s: String, -c: Char, -acc: String) -> {String.is_empty(String.reverse.go(s, SCon{c, acc})) == False{} : Bool}:
412  match s:
413    case SNil{}:
414      {==}
415    case SCon{h, t}:
416      internal_is_empty_reverse_go(t, h, SCon{c, acc})

Uses (5)

Used by (1)