OCaml wire format DSL with EverParse 3D output for verified parsers
at main 4 lines 95 B view raw
1(test 2 (name test_diff_gen) 3 (modules test_diff_gen) 4 (libraries wire wire_diff_gen alcotest))