package mugen

  1. Overview
  2. Docs

Module type Endo.SSource

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

top is Syntax.Endo.top