module Algebra

import public Algebra.ZeroOneOmega
import public Algebra.Semiring
import public Algebra.Preorder

public export
RigCount : Type
RigCount = ZeroOneOmega