∀ (funPropName : Lean.Name) (path : Array Lean.Meta.DiscrTree.Key) (funArgId : ℕ),
  sizeOf { funPropName := funPropName, path := path, funArgId := funArgId } =
    1 + sizeOf funPropName + sizeOf path + sizeOf funArgId