Merge pull request #1352 from jaehyun1ee/value-set-size-ctk

Specify that value_set's size is compile-time known

Author: jonathan-dilorenzo

p4-16/spec/P4-16-spec.adoc

@@ -6564,8 +6564,8 @@ include::grammar.adoc[tag=valueSetDeclaration]
 ----
 
 Parser Value Sets support a `size` argument to provide hints to the compiler to
-reserve hardware resources to implement the value set. For example, this parser
-value set:
+reserve hardware resources to implement the value set. Thus, the `size` argument
+must be a compile-time known value. For example, this parser value set:
 
 [source,p4]
 ----