Theoria.Equation.Matcher.Info.Alternative (theoria v0.5.0)

Copy Markdown View Source

Metadata for one matcher alternative.

Summary

Types

t()

@type t() :: %Theoria.Equation.Matcher.Info.Alternative{
  constructor: atom() | boolean(),
  has_unit_thunk?: boolean(),
  num_fields: non_neg_integer(),
  num_overlaps: non_neg_integer(),
  pattern: [atom() | boolean()] | nil
}