(Lean.Message → Lean.Elab.Tactic.GuardMsgs.FilterSpec) →
  Lean.Elab.Tactic.GuardMsgs.WhitespaceMode →
    Lean.Elab.Tactic.GuardMsgs.MessageOrdering → Bool → Bool → Lean.Elab.Tactic.GuardMsgs.GuardMsgsSpec