Web.origin: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/web.bend as Web
Lines 173-185 of ezmcp@0.1.0.0/src/web.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/src/web.bend&start_line=173&end_line=185

import Base
import ezmcp@0.1.0.0/src/server.bend as Server

# a request whose Origin is not allowed is 403
def origin(
  srv: Server.Server,
  body: String,
  header: String,
  is_post: Bool,
  allowed: Bool
) -> Web:
  match allowed:
    case False{}:
      text(403, "Forbidden: Origin not allowed")
    case True{}:
      method(srv, body, header, is_post)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/server.bend&name=Server
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/web.bend&name=Web
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/web.bend&name=method
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/web.bend&name=text