{m : Type → Type} →
  [Monad m] →
    [Lean.MonadFileMap m] →
      [Lean.MonadError m] →
        [Lean.MonadEnv m] →
          [Lean.MonadOptions m] →
            [Lean.MonadLog m] →
              [Lean.MonadResolveName m] →
                Lean.TSyntax [`Lean.Parser.Command.docComment, `Lean.Parser.Command.moduleDoc] → m (Option Lean.Syntax)