Closed ss2165 closed 4 days ago
def swap(x: L, y: L) -> None where L = guppy.type_var("L", linear=True)
def swap(x: L, y: L) -> None where L = guppy.type_var("L", linear=True)