package term-indexing

  1. Overview
  2. Docs

Module Term_indexing.Int_optionSource

Sourcetype t = private int

A space-efficient encoding of int option. Only caveat: one cannot represent Some Int.max_int.

Sourceval equal : t -> t -> bool
Sourceval none : t
Sourceval of_int : int -> t
Sourceval elim : t -> 'a -> (int -> 'a) -> 'a
Sourceval is_none : t -> bool
Sourceval max : t -> t -> t
Sourceval pp : Format.formatter -> t -> unit
Sourceval unsafe_to_int : t -> int
OCaml

Innovation. Community. Security.