jon.recoil.org

Module Contention.ConstSource

Sourcetype t =
  1. | Uncontended
  2. | Corrupted
  3. | Shared
  4. | Contended
include Mode_intf.Const with type t := t
include Mode_intf.Lattice with type t := t
Sourceval min : t
Sourceval max : t
Sourceval le : t -> t -> bool
Sourceval equal : t -> t -> bool

equal a b is equivalent to le a b && le b a, but defined separately for performance reasons

Sourceval join : t -> t -> t
Sourceval meet : t -> t -> t
Sourceval legacy : t