Type of point to a flow.

Type of zone to a flow.

Type of location to a flow

make a b makes a new location of b - a byte(s) starting at a.

some z makes a new location from a zone z.

none is a unknowable location.

Pretty-printer of t.

left location returns starting index of location.

left_exn location is same as left but it raises an exception if location is an unknowable location (see none).

right location returns stopping index of location.

right_exn location is same as right but it raises an exception if location is an unknowable location (see none).

length location returns length of location - how many bytes we have on location.

Same as length but it raises an exception if location is an unknowable location (see none).

with_location ~location x injects location into x as a meta-data.

Alias of with_location.

without_location x extracts value without location meta-data.

Alias of without_location.

location t extracts location from a value.

union a b merges two locations.