∀ (ref projRef : Lean.Syntax) (name? rawName? : Option Lean.Name) (type ref_1 projRef_1 : Lean.Syntax)
  (name?_1 rawName?_1 : Option Lean.Name) (type_1 : Lean.Syntax),
  ({ ref := ref, projRef := projRef, name? := name?, rawName? := rawName?, type := type } =
      { ref := ref_1, projRef := projRef_1, name? := name?_1, rawName? := rawName?_1, type := type_1 }) =
    (ref = ref_1 ∧ projRef = projRef_1 ∧ name? = name?_1 ∧ rawName? = rawName?_1 ∧ type = type_1)