Module Algebra

module Bool : sig ... end

Boolean semiring: ({false, true}, ∨, ∧, false, true).

module Bottleneck : sig ... end

Bottleneck semiring: ({-∞} ∪ ℤ ∪ {+∞}, max, min, -∞, +∞).

module Matrix : sig ... end

Dense matrix algebra parameterized over a semiring.

module Nat : sig ... end

Natural-number semiring: (ℕ, +, ×, 0, 1), optionally bounded.

module Prob : sig ... end

Probabilistic semiring: (0,1 ∩ ℚ, min(·+·, 1), ×, 0, 1).

module Rat : sig ... end

Rational-number semiring: (ℚ, +, ×, 0, 1).

module Semiring : sig ... end

Semiring interface: the module type T that every semiring implementation must satisfy.

module Tropical_bv : sig ... end

Bounded tropical semiring — bitvector encoding.

module Tropical_lia : sig ... end

Tropical semiring — integer-arithmetic encoding, bounded or unbounded.