package plebeia

  1. Overview
  2. Docs

Module Internal.IndexSource

1 Index in data files

Sourcetype t

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

2 Conversion to integer types

Sourceval to_int32 : t -> int32
Sourceval of_int32 : int32 -> t
Sourceval to_int64 : t -> int64
Sourceval of_int64 : int64 -> t
Sourceval of_int : int -> t
Sourceval to_int : t -> int

Be careful to use it in the 32-bit arch, where OCaml's int is 31-bits, since t is unsigned 32bit integer.

Sourceval of_uint32 : Stdint.Uint32.t -> t
Sourceval to_uint32 : t -> Stdint.Uint32.t

2 Set and Map

Sourcemodule Set : Set.S with type elt = t
Sourcemodule Map : Map.S with type key = t
OCaml

Innovation. Community. Security.