{-# OPTIONS --cubical-compatible --safe #-}
{-# OPTIONS --warn=noUserWarning #-}
open import Algebra
import Algebra.Operations.CommutativeMonoid as MonoidOperations
module Algebra.Operations.Semiring {s₁ s₂} (S : Semiring s₁ s₂) where
{-# WARNING_ON_IMPORT
"Algebra.Operations.Semiring was deprecated in v1.5.
Use Algebra.Properties.Semiring.(Mult/Exp) instead."
#-}
open Semiring S
open MonoidOperations +-commutativeMonoid public
open import Algebra.Properties.Semiring.Exp S public
open import Algebra.Properties.Semiring.Mult S public
using (×1-homo-*)