def
Lean.Elab.ConfigEval.EvalConfigItem.evalSetOptions
(optionPrefix : Name)
(opts : Options)
(item : ConfigItem)
:
Uses global option declarations with the prefix optionPrefix when setting Options.
Assumes that item is shifted, with the rest of the item being the option name suffix to use.
Equations
- One or more equations did not get rendered due to their size.