def W64.of_pair

bendtorch-load@1.3.0.0 · main.bend:26

import bendtorch-load@1.3.0.0/main.bend as BendtorchLoad
import Base

26def W64.of_pair(p: U32 & U32) -> W64:
27  match p:
28    case Tuple{hi, lo}: W64{hi, lo}

Uses (4)

Used by (2)