File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/GroupTable0x04.pp.mli --intf src/lib/kernel/GroupTable0x04.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/Bits.pp.ml --impl src/lib/kernel/Bits.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/Bits.pp.mli --intf src/lib/kernel/Bits.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/Hashcons.pp.ml --impl src/lib/kernel/Hashcons.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/GroupTable0x04.pp.ml --impl src/lib/kernel/GroupTable0x04.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/Hashcons.pp.mli --intf src/lib/kernel/Hashcons.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/Net.pp.mli --intf src/lib/kernel/Net.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/Net.pp.ml --impl src/lib/kernel/Net.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/Network.pp.mli --intf src/lib/kernel/Network.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/Network.pp.ml --impl src/lib/kernel/Network.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/OpenFlow.pp.mli --intf src/lib/kernel/OpenFlow.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/OpenFlow.pp.ml --impl src/lib/kernel/OpenFlow.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/OpenFlow0x01.pp.mli --intf src/lib/kernel/OpenFlow0x01.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/OpenFlow0x01.pp.ml --impl src/lib/kernel/OpenFlow0x01.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/OpenFlow0x04.pp.ml --impl src/lib/kernel/OpenFlow0x04.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/OpenFlow0x04.pp.mli --intf src/lib/kernel/OpenFlow0x04.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/OpenFlow_Header.pp.mli --intf src/lib/kernel/OpenFlow_Header.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/Packet.pp.mli --intf src/lib/kernel/Packet.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/OpenFlow_Header.pp.ml --impl src/lib/kernel/OpenFlow_Header.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/Packet.pp.ml --impl src/lib/kernel/Packet.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/Topology.pp.ml --impl src/lib/kernel/Topology.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/Util.pp.mli --intf src/lib/kernel/Util.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/Topology.pp.mli --intf src/lib/kernel/Topology.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/kernel/dune", line 8, characters 2-72:
8 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores))
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_kernel"' -o src/lib/kernel/Util.pp.ml --impl src/lib/kernel/Util.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/afd2dbf131dae9d0c8626eb8cf9ac4d1/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Generated_Parser__mock.ml.pp.mock --impl src/lib/netkat/Generated_Parser__mock.ml.mock -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Portless_Generated_Parser__mock.ml.pp.mock --impl src/lib/netkat/Portless_Generated_Parser__mock.ml.mock -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Bisim.pp.mli --intf src/lib/netkat/Bisim.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Bisim.pp.ml --impl src/lib/netkat/Bisim.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Domain.pp.mli --intf src/lib/netkat/Domain.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Domain.pp.ml --impl src/lib/netkat/Domain.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/FabricGen.pp.mli --intf src/lib/netkat/FabricGen.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/FabricGen.pp.ml --impl src/lib/netkat/FabricGen.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Fdd.pp.mli --intf src/lib/netkat/Fdd.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Fdd.pp.ml --impl src/lib/netkat/Fdd.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Global_compiler.pp.mli --intf src/lib/netkat/Global_compiler.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Global_compiler.pp.ml --impl src/lib/netkat/Global_compiler.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Json.pp.mli --intf src/lib/netkat/Json.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Json.pp.ml --impl src/lib/netkat/Json.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/LexBuffer.pp.ml --impl src/lib/netkat/LexBuffer.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Lexer.pp.mli --intf src/lib/netkat/Lexer.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Lexer.pp.ml --impl src/lib/netkat/Lexer.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Local_compiler.pp.mli --intf src/lib/netkat/Local_compiler.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Local_compiler.pp.ml --impl src/lib/netkat/Local_compiler.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Optimize.pp.mli --intf src/lib/netkat/Optimize.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Optimize.pp.ml --impl src/lib/netkat/Optimize.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Packet.pp.mli --intf src/lib/netkat/Packet.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Packet.pp.ml --impl src/lib/netkat/Packet.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Parser.pp.mli --intf src/lib/netkat/Parser.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Parser.pp.ml --impl src/lib/netkat/Parser.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Portless_Compiler.pp.mli --intf src/lib/netkat/Portless_Compiler.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Portless_Compiler.pp.ml --impl src/lib/netkat/Portless_Compiler.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Pretty.pp.mli --intf src/lib/netkat/Pretty.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Pretty.pp.ml --impl src/lib/netkat/Pretty.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Semantics.pp.mli --intf src/lib/netkat/Semantics.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Semantics.pp.ml --impl src/lib/netkat/Semantics.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Syntax.pp.mli --intf src/lib/netkat/Syntax.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Syntax.pp.ml --impl src/lib/netkat/Syntax.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Tokens.pp.ml --impl src/lib/netkat/Tokens.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Virtual_Compiler.pp.mli --intf src/lib/netkat/Virtual_Compiler.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Virtual_Compiler.pp.ml --impl src/lib/netkat/Virtual_Compiler.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Vlr.pp.mli --intf src/lib/netkat/Vlr.mli -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options
File "src/lib/netkat/dune", line 69, characters 2-83:
69 |   (pps ppx_cstruct ppx_deriving.std ppx_jane -allow-unannotated-ignores sedlex.ppx))
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(cd _build/default && .ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe -allow-unannotated-ignores --cookie 'library-name="frenetic_netkat"' -o src/lib/netkat/Vlr.pp.ml --impl src/lib/netkat/Vlr.ml -corrected-suffix .ppx-corrected -diff-cmd - -dump-ast)
.ppx/1bf2b60de9b86435476eb82605b57f56/ppx.exe: unknown option '-allow-unannotated-ignores'.
ppx.exe [extra_args] [<files>]
  -as-ppx                          Run as a -ppx rewriter (must be the first argument)
  --as-ppx                         Same as -as-ppx
  -as-pp                           Shorthand for: -dump-ast -embed-errors
  --as-pp                          Same as -as-pp
  -o <filename>                    Output file (use '-' for stdout)
  -                                Read input from stdin
  -dump-ast                        Dump the marshaled ast to the output file instead of pretty-printing it
  --dump-ast                       Same as -dump-ast
  -dparsetree                      Print the parsetree (same as ocamlc -dparsetree)
  -embed-errors                    Embed errors in the output AST (default: true when -dump-ast, false otherwise)
  -null                            Produce no output, except for errors
  -impl <file>                     Treat the input as a .ml file
  --impl <file>                    Same as -impl
  -intf <file>                     Treat the input as a .mli file
  --intf <file>                    Same as -intf
  -debug-attribute-drop            Debug attribute dropping
  -print-transformations           Print linked-in code transformations, in the order they are applied
  -print-passes                    Print the actual passes over the whole AST in the order they are applied
  -ite-check                       (no effect -- kept for compatibility)
  -pp <command>                    Pipe sources through preprocessor <command> (incompatible with -as-ppx)
  -reconcile                       (WIP) Pretty print the output using a mix of the input source and the generated code
  -reconcile-with-comments         (WIP) same as -reconcile but uses comments to enclose the generated code
  -no-color                        Don't use colors when printing errors
  -diff-cmd                        Diff command when using code expectations (use - to disable diffing)
  -pretty                          Instruct code generators to improve the prettiness of the generated code
  -styler                          Code styler
  -output-metadata FILE            Where to store the output metadata
  -corrected-suffix SUFFIX         Suffix to append to corrected files
  -loc-filename <string>           File name to use in locations
  -reserve-namespace <string>      Mark the given namespace as reserved
  -no-check                        Disable checks (unsafe)
  -check                           Enable checks
  -no-check-on-extensions          Disable checks on extension point only
  -check-on-extensions             Enable checks on extension point only
  -no-locations-check              Disable locations check only
  -locations-check                 Enable locations check only
  -apply <names>                   Apply these transformations in order (comma-separated list)
  -dont-apply <names>              Exclude these transformations
  -no-merge                        Do not merge context free transformations (better for debugging rewriters). As a result, the context-free transformations are not all applied before all impl and intf.
  -cookie NAME=EXPR                Set the cookie NAME to EXPR
  --cookie                         Same as -cookie
  -deriving-keep-w32 {impl|intf|both}
                                   Do not try to disable warning 32 for the generated code
  -deriving-disable-w32-method {code|attribute}
                                   How to disable warning 32 for the generated code
  -type-conv-keep-w32 {impl|intf|both}
                                   Deprecated, use -deriving-keep-w32
  -type-conv-w32 {code|attribute}
                                   Deprecated, use -deriving-disable-w32-method
  -deriving-keep-w60 {impl|intf|both}
                                   Do not try to disable warning 60 for the generated code
  -dirname <dir>                   Name of the current directory relative to the root of the project
  -inline-test-lib                 A base name to use for generated identifiers (has to be globally unique in a program).ppx_inline_test (and ppx_bench) are disabled unless this flag is passed.
  -bench-drop                      Drop inline benchmarks
  -bench-drop-with-deadcode        Drop inline benchmarks by wrapping them inside deadcode to prevent unused variable warnings.
  -inline-test-drop                Drop unit tests
  -inline-test-drop-with-deadcode  Drop unit tests by wrapping them inside deadcode to prevent unused variable warnings.
  -log-source-position             If set, adds a "pos" tag with a source code position to every logged message.
  -help                            Display this list of options
  --help                           Display this list of options