def h_go

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

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

619def h_go(+xs: List<&2, U32>, +r: List<&2, U32>, +acc: String) -> {B.hex.go(B.rev_onto(xs, r), acc) == B.hex.go(r, B.hex.cat(xs, acc)) : String}:
620  match xs:
621    case Nil{}:
622      {==}
623    case Con{h, t}:
624      h_go(t, Con{h, r}, acc)