Theoria.Syntax.Const (theoria v0.4.0)

Copy Markdown View Source

A named environment constant.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Syntax.Const{levels: [Theoria.Level.t()], name: atom()}