bend-kit-int@0.2.0.0 · int.bend:620
import bend-kit-int@0.2.0.0/int.bend as Int
import Base 620def S32.snd(p: U32 & U32) -> U32: 621 (q, r) = p 622 r