package mugen

  1. Overview
  2. Docs

Module Semantics.EndoSource

Semantic operations for Syntax.endo.

Sourcemodule type Param = sig ... end

Parameters of smart constructors.

Sourcemodule type S = sig ... end

The signature of smart constructors.

Sourcemodule Make (P : Param) : S with type shift := P.Shift.t and type level := P.level

The implementation of smart constructors.

OCaml

Innovation. Community. Security.