def W64.of_pair
import bendtorch-load@1.3.0.0/main.bend as BendtorchLoadimport Base
26def W64.of_pair(p: U32 & U32) -> W64:
27 match p:
28 case Tuple{hi, lo}: W64{hi, lo}
import bendtorch-load@1.3.0.0/main.bend as BendtorchLoadimport Base
26def W64.of_pair(p: U32 & U32) -> W64:
27 match p:
28 case Tuple{hi, lo}: W64{hi, lo}