Module Plebeia.IndexSource

1 Index in data files

Sourcetype t = private int

2 Constants

The zero index is treated specially.

Sourceval zero : t
Sourceval one : t
Sourceval max_int : t
Sourceval zero_then_none : t -> t option

This function returns None if t is zero.

2 Arithmetics

Sourceval pred : t -> t
Sourceval succ : t -> t
Sourceval (-) : t -> t -> t
Sourceval (+) : t -> t -> t
Sourceval (*) : t -> t -> t
Sourceval (/) : t -> t -> t
Sourceval compare : t -> t -> int
Sourceval max : t -> t -> t
Sourceval min : t -> t -> t

2 Conversion to integer types

Sourceval to_int64 : t -> int64
Sourceval of_int64 : int64 -> t
Sourceval to_int : t -> int
Sourceval of_int : int -> t
Sourceval of_uint32 : Stdint.Uint32.t -> t
Sourceval to_uint32 : t -> Stdint.Uint32.t
Sourcemodule Unsafe : sig ... end

These conversions may underflow/overflow. Use with caution.

2 Set and Map

Sourcemodule Set : sig ... end
Sourcemodule Map : sig ... end
Sourceval pp : Format.formatter -> t -> unit

2 Printing

Sourceval to_bytes_big_endian : t -> Bytes.t -> int -> unit

encoding

Sourceval of_bytes_big_endian : Bytes.t -> int -> t