package alg_structs

  1. Overview
  2. Docs

Module Monoid.IntSource

Monoids over int

Sourcemodule Sum : S with type t = int

op is (+) and unit is 0

Sourcemodule Product : S with type t = int

op is ( * ) and unit is 1