Theoria.Equation.Compiled (theoria v0.7.0)

Copy Markdown View Source

Experimental/internal API for 0.2; subject to change before 0.3. Result of compiling constructor equations, including generated metadata.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Equation.Compiled{
  body: Theoria.Term.t(),
  clauses: [Theoria.Equation.Clause.t()],
  fixed_params: Theoria.Equation.FixedParams.t(),
  matcher: Theoria.Equation.Matcher.Info.t(),
  rec_arg_pos: non_neg_integer(),
  schema: Theoria.Equation.Schema.t()
}