package mugen

  1. Overview
  2. Docs

The signature of smart constructors.

type shift

The displacement algebra.

type level

The type that embeds levels.

val shifted : level -> shift -> level

Smarter version of Syntax.Endo.shifted that collapses multiple displacements

  • raises Invalid_argument

    When it attempts to shift the top level.

val top : level

Innovation. Community. Security.