Should we remove `Tofino.ValSetT`? - Githubissues

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

74 stars 20 forks source link

Should we remove `Tofino.ValSetT`? #352

Open QinshiWang opened 2 years ago

QinshiWang commented 2 years ago

It looks the same as ValueSet. https://github.com/verified-network-toolchain/petr4/blob/poulet4/deps/poulet4/lib/P4light/Architecture/Tofino.v#L229