This PR makes 2 changes to the NetKAT PPX syntax:
1) Antiquotations:
New syntax: {OCaml expression} instead of $ocaml-var
extended functionality: allow arbitrary OCaml code, not just variable names
2) Iverson brackets:
syntax: [boolean-OCaml-expression]
shorthand for {if boolean-OCaml-expression then Filter True else Filter False} when used within policies, or {if boolean-OCaml-expression then True else False} when used as predicate
This PR makes 2 changes to the NetKAT PPX syntax: 1) Antiquotations:
{OCaml expression}instead of$ocaml-var[boolean-OCaml-expression]{if boolean-OCaml-expression then Filter True else Filter False}when used within policies, or{if boolean-OCaml-expression then True else False}when used as predicateFor examples, see ppx/test/main.ml.