package alg_structs

  1. Overview
  2. Docs

See Semigroup.Dual

module Make (M : S) : S with type t = M.t
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.

OCaml

Innovation. Community. Security.