def p14_bits

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/ed25519/pcodec.bend:122

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/pcodec.bend as Pcodec
import Base

122def p14_bits() -> List<&2, Bool>:
123  [False{}, True{}, True{}]

Uses (2)

Used by (3)