package alg_structs

You can search for identifiers within the package.

in-package search v0.2.0

Module `Semigroup.Dual`Source

Dual allows constructing the dual semigroup for a given semigroup. I.e., a semigroup with the arguments of it's operator reversed.

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

Make (S) is S except that S.op is defined as Fun.flip S.op.

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

make op is Semigroup.make (Fun.flip op).