def W64.of

bendtorch-load@1.3.0.0 · main.bend:23

import Base

23def W64.of(x: U32) -> W64:
24  W64{0, x}