def dupv

bendtorch@1.3.0.0 · spec.bend:105

import Base
import bendtorch@1.3.0.0/main.bend as T

105def dupv(+x: List<&2, Nat>) -> T.Two<List<&2, Nat>, List<&2, Nat>>:
106  T.Two{x, x}