def List.reverse

Base · base.bend:954

import Base
954def List.reverse(a, -A: Kind(a), xs: List<a, A>) -> List<a, A>:
955  List.reverse.go(a, A, xs, Nil{})

Uses (2)

Used by (588)