A functional semiring library.
File semiring.ml
(** The general interface of a semiring *)
Semiring.S
(** The functor of a matrix semiring *)
Semiring.Make_Matrix_Semiring(A_SEMIRING)
MinplusSemiring: corebuild minplus.byte
(** MinPlusSemiring *)
MPS
(** Matrix MinPlusSemiring *)
MMPS
BooleanSemiring: corebuild -pkg str minplus.byte
(** BooleanSemiring *)
BS
(** Matrix BooleanSemiring *)
MBS
Martelli: corebuild -pkg str minplus.byte
(** MartelliSemiring *)
MS
(** Matrix MartelliSemiring *)
MMS