Theoria.Equation.Matcher.Info.Discriminant (theoria v0.7.0)

Copy Markdown View Source

Metadata for one matcher discriminant.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Equation.Matcher.Info.Discriminant{
  family: atom() | nil,
  name: atom() | nil,
  position: non_neg_integer() | nil,
  type: Theoria.Term.t() | nil
}