∀ {ref : Lean.Syntax} {name : String} {suffix? : Option Lean.Name} {fullRef ref_1 : Lean.Syntax} {name_1 : String}
  {suffix?_1 : Option Lean.Name} {fullRef_1 : Lean.Syntax},
  Lean.Elab.Term.LVal.fieldName ref name suffix? fullRef =
      Lean.Elab.Term.LVal.fieldName ref_1 name_1 suffix?_1 fullRef_1 →
    ref = ref_1 ∧ name = name_1 ∧ suffix? = suffix?_1 ∧ fullRef = fullRef_1