def Lean.Meta.Grind.solve (goal : Goal) : GrindM (Option Goal)

Try to solve/close the given goal. Returns some goal if this subgoal failed to be closed, and none if all subgoals were closed.