Theoria.Term.Sort (theoria v0.1.0)

Copy Markdown View Source

A universe level, written Type n in the surface language.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Term.Sort{level: non_neg_integer()}