∀ (ref : Lean.Syntax) (addTermInfo : Bool) (fvar : Lean.Expr) (structName name declName : Lean.Name) (subobject : Bool)
  (ref_1 : Lean.Syntax) (addTermInfo_1 : Bool) (fvar_1 : Lean.Expr) (structName_1 name_1 declName_1 : Lean.Name)
  (subobject_1 : Bool),
  ({ ref := ref, addTermInfo := addTermInfo, fvar := fvar, structName := structName, name := name, declName := declName,
        subobject := subobject } =
      { ref := ref_1, addTermInfo := addTermInfo_1, fvar := fvar_1, structName := structName_1, name := name_1,
        declName := declName_1, subobject := subobject_1 }) =
    (ref = ref_1 ∧
      addTermInfo = addTermInfo_1 ∧
        fvar = fvar_1 ∧ structName = structName_1 ∧ name = name_1 ∧ declName = declName_1 ∧ subobject = subobject_1)