∀ (tid : Lean.Name) (x : Lean.IR.VarId) (xType : Lean.IR.IRType) (cs : Array Lean.IR.Alt) (tid_1 : Lean.Name)
  (x_1 : Lean.IR.VarId) (xType_1 : Lean.IR.IRType) (cs_1 : Array Lean.IR.Alt),
  (Lean.IR.FnBody.case tid x xType cs = Lean.IR.FnBody.case tid_1 x_1 xType_1 cs_1) =
    (tid = tid_1 ∧ x = x_1 ∧ xType = xType_1 ∧ cs = cs_1)