Theoria.Equation.Pattern.Constructor (theoria v0.3.0)

Copy Markdown View Source

A constructor pattern with subpatterns.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Equation.Pattern.Constructor{
  args: [Theoria.Equation.Pattern.t()],
  name: atom()
}