The `typedef` is one declaration in p4 16 spec: https://p4.org/p4-spec/docs/P4-16-v1.2.2.html#sec-typedef