def Lean.Elab.Tactic.Grind.isGrindAnnotatedModule (env : Environment) (modIdx : ModuleIdx) : Bool

Check if a module has been marked as grind-annotated.