Bastet__Int.Semiring
type t
= int
val add : t -> t -> t
val zero : t
val multiply : t -> t -> t
val one : t