def bmirror

lawful-bytes@0.1.1.0 · proof_core.bend:227

import Base
import lawful-bytes@0.1.1.0/defs.bend as D
import lawful-arrays@0.1.0.0/proof_tree.bend as P

227def bmirror(b: D.Bytes) -> BMirror(b):
228  match b:
229    case D.Bytes{+len, buf}:
230      bmirror.go(len, buf, P.mirror(U32, buf))