package mugen

  1. Overview
  2. Docs

Semantic operations for universe levels with displacements

module Endo : sig ... end

Semantic operations for Syntax.endo.

module Free : sig ... end

Semantic operations for Syntax.free.

OCaml

Innovation. Community. Security.