Theoria.Level.Solver (theoria v0.4.0)

Copy Markdown View Source

Small solver for universe-level ordering constraints.

Summary

Functions

leq?(left, right)

Functions

leq?(left, right)

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