Annotate externs from core.p4 with @corelib annotation#5285

asl wants to merge 1 commit intop4lang:mainp4lang/p4c:mainfrom

asl:corelib-annasl/p4c:corelib-annCopy head branch name to clipboard