~/jendhub

def clen.agree.go

emerging-ezhttp@0.21.0.0 · src/http.bend:807

import emerging-ezhttp@0.21.0.0/src/http.bend as Http
import Base

807# the tail of a Content-Length list against the first value
808def clen.agree.go(rest: List<&2, String>, +h: String) -> Bool:
809  match rest:
810    case []:
811      True{}
812    case x <> r:
813      clen.agree.step(String.eq(x, h), _u => clen.agree.go(r, h))

Uses (5)

Used by (1)