A tactic stub file for the guard_goal_nums tactic.

def guardGoalNums : Lean.ParserDescr

guard_goal_nums n succeeds if there are exactly n goals and fails otherwise.