∀ {ref : Lean.Syntax} {term? : Option Lean.Term} {fixpointType : Lean.Elab.PartialFixpointType} {ref_1 : Lean.Syntax}
  {term?_1 : Option Lean.Term} {fixpointType_1 : Lean.Elab.PartialFixpointType},
  { ref := ref, term? := term?, fixpointType := fixpointType } =
      { ref := ref_1, term? := term?_1, fixpointType := fixpointType_1 } →
    ref = ref_1 ∧ term? = term?_1 ∧ fixpointType = fixpointType_1