package mugen

  1. Overview
  2. Docs
module Shift : Shift.S

The displacement algebra.

type level

The type that embeds levels.

val level : (Shift.t, level) Syntax.endo -> level

The embedding of levels into level.

val unlevel : level -> (Shift.t, level) Syntax.endo option

Extract the embedded level, if any.

OCaml

Innovation. Community. Security.