Algebra
module Bool : sig ... end
module Bottleneck : sig ... end
module Matrix : sig ... end
module Nat : sig ... end
module Prob : sig ... end
module Rat : sig ... end
module Semiring : sig ... end
module Tropical_bv : sig ... end
module Tropical_lia : sig ... end