~/jendhub

def ow

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/word.bend:99

import bend-collections-laws-crypto@1.0.0.0/proofs/lib/word.bend as Word
import Base

99def ow(-n: Nat, r: Bool & Word(n)) -> Word(n):
100  (t, s) = r
101  s

Uses (5)

Used by (6)