qc: Rename Packet_Arbitrary to Arbitrary_Packet

Author: seliopou

_oasis

@@ -40,7 +40,7 @@ Library quickcheck
     quickcheck
   Modules:
     Arbitrary_Base,
-    Packet_Arbitrary
+    Arbitrary_Packet
 
 Executable testtool
   Path: test

quickcheck/Packet_Arbitrary.ml renamed to quickcheck/Arbitrary_Packet.ml

@@ -1,5 +1,5 @@
 # OASIS_START
-# DO NOT EDIT (digest: 3499f600304ecd041e197c40293470fb)
+# DO NOT EDIT (digest: 330820d542742d1a91c67ac9e7db617c)
 Arbitrary_Base
-Packet_Arbitrary
+Arbitrary_Packet
 # OASIS_STOP

quickcheck/quickcheck.mllib

@@ -1,7 +1,7 @@
 (* setup.ml generated for the first time by OASIS v0.3.0 *)
 
 (* OASIS_START *)
-(* DO NOT EDIT (digest: f87c376e87f25a9fc98f6cd66fb6017f) *)
+(* DO NOT EDIT (digest: b16821acf833b7560ee1257ce9b521a0) *)
 (*
    Regenerated by OASIS v0.4.1
    Visit http://oasis.forge.ocamlcore.org for more information and
@@ -6904,7 +6904,7 @@ let setup_t =
                       bs_nativeopt = [(OASISExpr.EBool true, [])]
                    },
                    {
-                      lib_modules = ["Arbitrary_Base"; "Packet_Arbitrary"];
+                      lib_modules = ["Arbitrary_Base"; "Arbitrary_Packet"];
                       lib_pack = false;
                       lib_internal_modules = [];
                       lib_findlib_parent = Some "packet";
@@ -6992,7 +6992,7 @@ let setup_t =
        };
      oasis_fn = Some "_oasis";
      oasis_version = "0.4.1";
-     oasis_digest = Some "\129\135(\162[lG\161\213&4\027wZ\159J";
+     oasis_digest = Some "p0\128\249\191\242\255\025\229\225]JG\128\199\224";
      oasis_exec = None;
      oasis_setup_args = [];
      setup_update = false

setup.ml

@@ -12,7 +12,7 @@ let packet_quickCheck arbitrary pred =
       | Exhausted _ -> failwith "No exhaustion expected"
 
 module RoundTrip = struct
-  module Arb = Packet_Arbitrary
+  module Arb = Arbitrary_Packet
 
   let unparsable_eq (l1, b1) (l2, b2) =
     l1 = l2 && compare (Cstruct.to_string b1) (Cstruct.to_string b2) = 0