Theoria.Level.Param (theoria v0.4.0)

Copy Markdown View Source

A universe level parameter.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Level.Param{name: atom()}