~/jendhub

def ob

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

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

95def ob(-n: Nat, r: Bool & Word(n)) -> Bool:
96  (t, s) = r
97  t

Uses (5)

Used by (6)