package alg_structs

  1. Overview
  2. Docs

Semigroups over int

module Sum : S with type t = int

op is (+)

module Product : S with type t = int

op is ( * )