Module range 

Conditional requests and ordinary byte ranges (SPEC-HTTP-OBJECTS §5.1). Pure functions over header text; proofs never reach them.

Enums

Selection

What a Range header selects from a representation of len bytes.

Functions

if_none_match

One entity-tag in an If-None-Match list, weak comparison: W/ is ignored. Returns whether etag (a quoted strong tag) matches any member or the list is *.

select

Select the bytes for Range and If-Range against a representation of len bytes whose strong validator is etag. An invalid Range is ignored (never a 400), a multi-range request is a strict 200, and only a matching strong If-Range ETag enables slicing.