∀ (size : ℕ) (revList : List Lean.AsyncConst✝) (map : Lean.NameMap Lean.AsyncConst✝)
  (normalizedTrie : Lean.NameTrie Lean.AsyncConst✝),
  sizeOf { size := size, revList := revList, map := map, normalizedTrie := normalizedTrie } =
    1 + sizeOf size + sizeOf revList + sizeOf map + sizeOf normalizedTrie