Theoria.Level.Max (theoria v0.3.0)

Copy Markdown View Source

Maximum of two universe levels.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Level.Max{left: Theoria.Level.t(), right: Theoria.Level.t()}