~/jendhub

def Int.fst

bend-kit-int@0.2.0.0 · int.bend:152

import bend-kit-int@0.2.0.0/int.bend as Int
import Base

152def Int.fst(-n: Nat, p: Word(n) & Word(n)) -> Word(n):
153  (q, r) = p
154  q

Uses (4)

Used by (1)