def cors.join

import ezhttp@0.22.0.0/src/cors.bend as Cors

import Base

129# join with ", "
130def cors.join(xs: List<&2, String>) -> String:
131  String.join(xs, ", ")

Uses (3)