Implements s-expression serialization for P4cub similar to how ppx_sexp_conv would--let me know if you have any comments about the grammar. In the future, it might be useful to add a parser for deserialization. If we did this, we could use qcheck to generate random tests asserting serialization and deserialization is an involution.
Implements s-expression serialization for P4cub similar to how
ppx_sexp_convwould--let me know if you have any comments about the grammar. In the future, it might be useful to add a parser for deserialization. If we did this, we could use qcheck to generate random tests asserting serialization and deserialization is an involution.