package codex

You can search for identifiers within the package.

in-package search v0.2.0

Module `Lattices.Unsigned_Interval`Source

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

Sourceval top : size:int -> Z.t * Z.t