def bmirror.go

lawful-bytes@0.1.1.0 · proof_core.bend:223

import lawful-bytes@0.1.1.0/proof_core.bend as ProofCore

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

223def bmirror.go(+len: U32, -buf: Array<U32>, m: P.Mirror(U32, buf)) -> BMirror(D.Bytes{len, buf}):
224  (t, e) = m
225  (len, (t, Equal.cong(Array<U32>, D.Bytes, x => D.Bytes{len, x}, P.fromT(U32, t), buf, e)))

Uses (8)

Used by (1)

lawful-bytes@0.1.1.0/proof_core:bmirror