package mugen

  1. Overview
  2. Docs

Module Semantics.FreeSource

Semantic operations for Syntax.free.

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 var := P.var

The implementation of smart constructors.

OCaml

Innovation. Community. Security.