def p58_bits

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/pow.bend as Pow

import Base

248def p58_bits() -> List<&2, Bool>:
249  [False{}, True{}]

Uses (2)