Clarify that Booleans are serializable#1413

jaehyun1ee wants to merge 1 commit into

p4lang:mainp4lang/p4-spec:mainfrom

jaehyun1ee:bool-serializablejaehyun1ee/p4-spec:bool-serializableCopy head branch name to clipboard