def W64.snd
import bend-osdev-word64@0.1.1.0/word64.bend as Word64import Base
292def W64.snd(p: W64 & W64) -> W64:
293 (x, y) = p
294 y
import bend-osdev-word64@0.1.1.0/word64.bend as Word64import Base
292def W64.snd(p: W64 & W64) -> W64:
293 (x, y) = p
294 y