package mugen

  1. Overview
  2. Docs

Module Free.MakeSource

The implementation of smart constructors.

Parameters

module P : Param

Signature

The type of freely generated levels.

Sourceval var : P.var -> level
Sourceval shifted : level -> P.Shift.t -> level

Smarter version of Syntax.Endo.shifted that collapses multiple displacements

Sourceval equal : level -> level -> bool

equal l1 l2 checks whether l1 and l2 are the same universe level.

Sourceval lt : level -> level -> bool

lt l1 l2 checks whether l1 is strictly less than l2. Note that trichotomy fails for general universe levels.

Sourceval leq : level -> level -> bool

leq l1 l2 checks whether l1 is less than or equal to l2. Note that trichotomy fails for general universe levels.

Sourceval gt : level -> level -> bool

gt l1 l2 is lt l2 l1.

Sourceval geq : level -> level -> bool

geq l1 l2 is leq l2 l1.

Sourcemodule Infix : sig ... end

Infix notation.

OCaml

Innovation. Community. Security.