Web.post.as: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/web.bend as Web
Lines 143-145 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=143&end_line=145

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

# a POST read by revision `rev`: the server's step on its body
def post.as(srv: Server.Server, body: String, +rev: String) -> Web:
  act(rev, Server.step(srv, rev, body))

Uses (5):
  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/server.bend&name=step
  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=act