Idris2Doc : Algebra

Algebra

(source)
Reexports
import public Algebra.ZeroOneOmega
import public Algebra.Semiring
import public Algebra.Preorder
Definitions
RigCount : Type
  Totality: total
  Visibility: public export
showCount : RigCount -> String
  Totality: total
  Visibility: export