∀ (catName : Lean.Name) (first leftRec : Bool) (behavior : Lean.Parser.LeadingIdentBehavior),
  sizeOf { catName := catName, first := first, leftRec := leftRec, behavior := behavior } =
    1 + sizeOf catName + sizeOf first + sizeOf leftRec + sizeOf behavior