Theoria.Level.Succ (theoria v0.7.0)

Copy Markdown View Source

Successor universe level.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Level.Succ{level: Theoria.Level.t()}