Theoria.Equation.Pattern.Var (theoria v0.5.0)

Copy Markdown View Source

A variable pattern.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Equation.Pattern.Var{name: atom()}