package alg_structs

  1. Overview
  2. Docs

Monoids over int

module Sum : S with type t = int

op is (+) and unit is 0

module Product : S with type t = int

op is ( * ) and unit is 1