package mugen

  1. Overview
  2. Docs

Module Mugen.ShiftSource

Displacement algebras

Sourcemodule type S = sig ... end

A displacement algebra.

Sourcemodule Nat : sig ... end

Natural numbers with addition. Caveats: it does not handle integer overflow.

Sourcemodule Int : sig ... end

Integers with addition. Caveats: it does not handle integer overflow.

Sourcemodule NonPositive : sig ... end

Non-positive integers with addition. Caveats: it does not handle integer overflow.

Constant displacements.

Sourcemodule Product (X : S) (Y : S) : sig ... end

Binary products.

Sourcemodule Lexicographic (X : S) (Y : S) : sig ... end

Binary products, but with the lexicographical order.

Sourcemodule NearlyConstant (Base : S) : sig ... end

Infinite products with finite elements different from a fixed displacement.

Sourcemodule FiniteSupport (Base : S) : sig ... end

Infinite products with finite supports. A special case of NearlyConstant where the base is id.

Prefix displacements.

Sourcemodule Fractal (Base : S) : sig ... end

Fractal displacements.

Sourcemodule Opposite (Base : S) : sig ... end

Opposite displacements

OCaml

Innovation. Community. Security.