def List.show.go

import Base

2427def List.show.go(~a: Quant, ~A: Kind(a), ~f: A -> String, xs: List<a, A>) ->
2428  String:
2429  match xs:
2430    case Nil{}:
2431      "]"
2432    case h <> t:
2433      ", " ++ f(h) ++ List.show.go(~a, ~A, ~f, t)

Uses (3)

List
String
String.append

Used by (1)

List.show