def Lean.Elab.elabSetOption {m : Type → Type} [Monad m] [MonadOptions m] [MonadError m] [MonadLiftT (EIO Exception) m] [MonadInfoTree m] (id val : Syntax) : m Options

Equations

• One or more equations did not get rendered due to their size.