def redirect.max

emerging-ezhttp@0.21.0.0 · src/redirect.bend:23

import emerging-ezhttp@0.21.0.0/src/redirect.bend as Redirect
import Base

23# the most hops the client follows (httpx's default is 20)
24def redirect.max() -> Nat:
25  10n

Uses (1)

Used by (1)