package mugen

  1. Overview
  2. Docs

Module Mugen.SemanticsSource

Semantic operations for universe levels with displacements

Sourcemodule Endo : sig ... end

Semantic operations for Syntax.endo.

Sourcemodule Free : sig ... end

Semantic operations for Syntax.free.

OCaml

Innovation. Community. Security.