{m : Type → Type} →
  [Monad m] →
    [Lean.MonadLog m] →
      [Lean.MonadOptions m] →
        [Lean.Elab.MonadParentDecl m] →
          [MonadLiftT IO m] → [MonadLiftT Lean.CoreM m] → Lean.Syntax → Aesop.Stats → Bool → m Unit