def step.clen

emerging-ezhttp@0.21.0.0 · src/step.bend:105

import Base

105# a Content-Length that reads, or none
106def step.clen(m: Maybe<&2, Nat>) -> Nat:
107  match m:
108    case None{}:
109      0n
110    case Some{n}:
111      n