meta
See also
- Language → metaprogramming — user surface.
- Language → attributes — the
@forms this module supports. - proof — proof reflection consumes
TypeInfo/FunctionInfo. - reference → tactics — names of the registered tactics that
Customresolves to.