package alg_structs

  1. Overview
  2. Docs

Module Semigroup.IntSource

Semigroups over int

Sourcemodule Sum : S with type t = int

op is (+)

Sourcemodule Product : S with type t = int

op is ( * )