package alg_structs

  1. Overview
  2. Docs

See Semigroup.Dual

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

See Semigroup.Dual.Make

val 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.