~/jendhub

def Int.snd

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

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

156def Int.snd(-n: Nat, p: Word(n) & Word(n)) -> Word(n):
157  (q, r) = p
158  r

Uses (4)

Used by (1)