Theoria.Equation.Matcher.Indexed.Vec (theoria v0.3.0)

Copy Markdown View Source

Experimental/internal API for indexed Vec matcher metadata packages.

Summary

Functions

info(matcher_name \\ :vec_match, source_name \\ :Vec)

Returns equation metadata for an indexed Vec matcher declaration.

Functions

info(matcher_name \\ :vec_match, source_name \\ :Vec)

@spec info(atom(), atom()) :: Theoria.Equation.Info.t()

Returns equation metadata for an indexed Vec matcher declaration.