∀ (name : String) (type? docString? doc_url? kind? : Option String) (name_1 : String)
  (type?_1 docString?_1 doc_url?_1 kind?_1 : Option String),
  ({ name := name, type? := type?, docString? := docString?, doc_url? := doc_url?, kind? := kind? } =
      { name := name_1, type? := type?_1, docString? := docString?_1, doc_url? := doc_url?_1, kind? := kind?_1 }) =
    (name = name_1 ∧ type? = type?_1 ∧ docString? = docString?_1 ∧ doc_url? = doc_url?_1 ∧ kind? = kind?_1)