∀ (baseStructName structName constName : Lean.Name),
  sizeOf (Lean.Elab.Term.LValResolution.const baseStructName structName constName) =
    1 + sizeOf baseStructName + sizeOf structName + sizeOf constName