def WD

lawful-bytes@0.1.1.0 · proof_core.bend:26

import Base
import lawful-arrays@0.1.0.0/proof_tree.bend as P

26# Word k of the block, as Array.get reads it.
27def WD(+t: P.Tree<U32>, +k: U32) -> U32:
28  Pair.snd(Array<U32>, U32, Array.get(U32, P.fromT(U32, t), k))