∀ (catName declName : Lean.Name) (behavior : Lean.Parser.LeadingIdentBehavior),
  sizeOf (Lean.Parser.ParserExtension.Entry.category catName declName behavior) =
    1 + sizeOf catName + sizeOf declName + sizeOf behavior