package alg_structs

  1. Overview
  2. Docs

Module Monoid.DualSource

See Semigroup.Dual

Sourcemodule Make (M : S) : S with type t = M.t

See Semigroup.Dual.Make

Sourceval dualize : (module S with type t = 'a) -> (module S with type t = 'a)

dualize m creates a first-class module that is the dual of the first-class module m.