{ctx : Type u_1} →
  {motive : Mathlib.TacticAnalysis.TriggerCondition ctx → Sort u} →
    motive Mathlib.TacticAnalysis.TriggerCondition.skip →
      ((context : ctx) → motive (Mathlib.TacticAnalysis.TriggerCondition.continue context)) →
        ((context : ctx) → motive (Mathlib.TacticAnalysis.TriggerCondition.accept context)) →
          (t : Mathlib.TacticAnalysis.TriggerCondition ctx) → motive t