Theoria.Level.Constraint (theoria v0.5.0)

Copy Markdown View Source

Universe-level ordering constraint.

Summary

Types

t()

Functions

leq(left, right)

Types

t()

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

Functions

leq(left, right)

@spec leq(Theoria.Level.t(), Theoria.Level.t()) :: t()