Base · base.bend:1046
import Base
1046def List.range(n: Nat) -> List<&2, Nat>: 1047 List.range.go(n, Nil{})