Client.client.get.timed: def of ezhttp@0.22.0.0 Import: import ezhttp@0.22.0.0/src/client.bend as Client Lines 98-101 of ezhttp@0.22.0.0/src/client.bend: https://jend.leeeet.dev/read.txt?path=ezhttp@0.22.0.0/src/client.bend&start_line=98&end_line=101 import Base import ezhttp@0.22.0.0/src/http.bend as Http import ezhttp@0.22.0.0/src/body.bend as Body # GET bounded by a timeout in milliseconds def client.get.timed(url: String, headers: List<&2, Http.Header>, ms: U32) -> IO(Response): client.timed("GET", url, headers, Body.Empty{}, ms) Uses (8): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=ezhttp@0.22.0.0/src/body.bend&name=Body https://jend.leeeet.dev/definition.txt?path=ezhttp@0.22.0.0/src/client.bend&name=Response https://jend.leeeet.dev/definition.txt?path=ezhttp@0.22.0.0/src/client.bend&name=client.timed https://jend.leeeet.dev/definition.txt?path=ezhttp@0.22.0.0/src/http.bend&name=Header