package mugen

  1. Overview
  2. Docs

Module Endo.MakeSource

The implementation of smart constructors.

Parameters

module P : Param

Signature

Sourceval shifted : P.level -> P.Shift.t -> P.level

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

Sourceval top : P.level

top is Syntax.Endo.top