empty is an empty bigstring.

length bstr is the number of bytes in bstr.

get bstr i is the byte of bstr' at index i. This is equivalent to the bstr.{i} notation.

• raises Invalid_argument

  if i is not an index of bstr.

get_int8 bstr i is bstr's signed 8-bit integer starting at byte index i.

get_uint8 bstr i is bstr's unsigned 8-bit integer starting at byte index i.

get_int16_ne bstr i is bstr's native-endian unsigned 16-bit integer starting at byte index i.

get_int16_le bstr i is bstr's little-endian unsigned 16-bit integer starting at byte index i.

get_int16_be bstr i is bstr's big-endian unsigned 16-bit integer starting at byte index i.

get_int16_ne bstr i is bstr's native-endian signed 16-bit integer starting at byte index i.

get_int16_le bstr i is bstr's little-endian signed 16-bit integer starting at byte index i.

get_int16_be bstr i is bstr's big-endian signed 16-bit integer starting at byte index i.

get_int32_ne bstr i is bstr's native-endian 32-bit integer starting at byte index i.

get_int32_le bstr i is bstr's little-endian 32-bit integer starting at byte index i.

get_int32_be bstr i is bstr's big-endian 32-bit integer starting at byte index i.

get_int64_ne bstr i is bstr's native-endian 64-bit integer starting at byte index i.

get_int64_le bstr i is bstr's little-endian 64-bit integer starting at byte index i.

get_int64_be bstr i is bstr's big-endian 64-bit integer starting at byte index i.

sub bstr ~off ~len does not allocate a bigstring, but instead returns a new view into bstr starting at off, and with length len.

Note that this does not allocate a new buffer, but instead shares the buffer of bstr with the newly-returned bigstring.

sub_string bstr ~off ~len returns a string of length len containing the bytes of t starting at off.

to_string bstr is equivalent to sub_string bstr ~off:0 ~len:(length bstr).

blit_to_bytes src ~src_off dst ~dst_off ~len copies len bytes from src, starting at index src_off, to byte sequence dst, starting at index dst_off.

• raises Invalid_argument

  if src_off and len do not designate a valid range of src, or if dst_off and len do not designate a valid range of dst.

is_empty bstr is length bstr = 0.

is_prefix ~affix bstr is true iff affix.[idx] = bstr.{idx} for all indices idx of affix.

is_infix ~affix bstr is true iff there exists an index j in bstr such that for all indices i of affix we have affix.[i] = bstr.{j + i}.

is_suffix ~affix bstr is true iff affix.[n - idx] = bstr.{m - idx} for all indices idx of affix with n = String.length affix - 1 and m = length bstr - 1.

for_all p bstr is true iff for all indices idx of bstr, p bstr.{idx} = true.

exists p bstr is true iff there exists an index idx of bstr with p bstr.{idx} = true.

equal a b is a = b.

with_range ~first ~len bstr are the consecutive bytes of bstr whose indices exist in the range [first;first + len - 1].

first defaults to 0 and len to max_int. Note that first can be any integer and len any positive integer.

with_index_range ~first ~last bstr are the consecutive bytes of bstr whose indices exists in the range [first;last].

first defaults to 0 and last to length bstr - 1.

Note that both first and last can be any integer. If first > last the interval is empty and the empty bigstring is returned.

trim ~drop bstr is bstr with prefix and suffix bytes satisfying drop in bstr removed. drop defaults to fun chr -> chr = ' '.

span ~rev ~min ~max ~sat bstr is (l, r) where:

• if rev is false (default), l is at least min and at most max consecutive sat satisfying initial bytes of bstr or empty if there are no such bytes. r are the remaining bytes of bstr.
• if rev is true, r is at least min and at most max consecutive sat satisfying final bytes of bstr or empty if there are no such bytes. l are the remaining bytes of bstr.

If max is unspecified the span is unlimited. If min is unspecified it defaults to 0. If min > max the condition can't be satisfied and the left or right span, depending on rev, is always empty. sat defaults to Fun.const true.

• raises Invalid_argument

  if max or min is negative.

take ~rev ~min ~max ~sat bstr is the matching span of span without the remaining one. In other words:

  (if rev then snd else fst) @@ span ~rev ~min ~max ~sat bstr

drop ~rev ~min ~max ~sat bstr is the remaining span of span without the matching span. In other words:

  (if rev then fst else snd) @@ span ~rev ~min ~max ~sat bstr

shift bstr n is sub bstr n (length bstr - n).