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

val top : level
OCaml

Innovation. Community. Security.