List.range: def of Base
Import: import Base
Lines 1046-1047 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=1046&end_line=1047

import Base

def List.range(n: Nat) -> List<&2, Nat>:
  List.range.go(n, Nil{})

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.range.go
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat