package codex

You can search for identifiers within the package.

in-package search v0.2.0

Module `Lattices.Signed_Interval`Source

Signed interval lattice: represents ranges of integers with signed semantics (e.g. -10, 42)

Sourcetype t = Z.t * Z.t

Sourceval compare : (Z.t * Z.t) -> (Z.t * Z.t) -> int

Sourceval equal : (Z.t * Z.t) -> (Z.t * Z.t) -> bool

Sourceval hash : (Z.t * Z.t) -> int

Sourceval join : size:'a -> (Z.t * Z.t) -> (Z.t * Z.t) -> Z.t * Z.t

Sourceval inter : size:'a -> (Z.t * Z.t) -> (Z.t * Z.t) -> Z.t * Z.t

Sourceval bottom : size:'a -> Z.t * Z.t

Sourceval includes : size:'a -> (Z.t * Z.t) -> (Z.t * Z.t) -> bool

Sourceval pretty : size:'a -> Format.formatter -> (Z.t * Z.t) -> unit