package mugen

  1. Overview
  2. Docs

Semantic operations for Syntax.endo.

module type Param = sig ... end

Parameters of smart constructors.

module type S = sig ... end

The signature of smart constructors.

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

The implementation of smart constructors.

OCaml

Innovation. Community. Security.