~/jendhub

def g_of_string

bend-osdev-bytes@0.1.1.0 · PROOF.bend:581

import bend-osdev-bytes@0.1.1.0/PROOF.bend as PROOF
import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B

581def g_of_string(+s: String, +acc: List<&2, U32>) -> {B.of_string.go(s, acc) == B.rev_onto(B.of_string(s), acc) : List<&2, U32>}:
582  match s:
583    case SNil{}:
584      {==}
585    case SCon{Chr{c}, t}:
586      g_of_string(t, Con{B.byte(c), acc})

Uses (8)

Used by (1)