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.