def cors.headers_ok
import emerging-ezhttp@0.21.0.0/src/cors.bend as Corsimport Base
125# Access-Control-Request-Headers, comma-separated
126def cors.headers_ok(+requested: String, +allow: List<&2, String>) -> Bool:
127 cors.headers_empty(requested, allow, String.eq(requested, ""))