same changes but for tests

Author: JTrenerry

test/transform/type_inference.ml

@@ -11,7 +11,7 @@ let%test_unit "Add bounds" =
   let st = add_ub st (VarId.make_id "c") Top in
   let st = add_lb st (VarId.make_id "c") Bottom in
   let st = add_lb st (VarId.make_id "d") @@ TypeVar (VarId.make_id "e") in
-  let st = add_ub st (VarId.make_id "d") @@ CType C_Bool in
+  let st = add_ub st (VarId.make_id "d") @@ BinCamlType BinCaml_Bool in
 
   let ls =
     [
@@ -20,7 +20,7 @@ let%test_unit "Add bounds" =
       ( VarId.make_id "d",
         {
           lb = TySet.singleton @@ TypeVar (VarId.make_id "e");
-          ub = TySet.singleton @@ CType C_Bool;
+          ub = TySet.singleton @@ BinCamlType BinCaml_Bool;
         } );
     ]
   in
@@ -89,17 +89,17 @@ proc @main_4196260 () -> ()
     [
       ( VarId.make_id "$XF",
         {
-          lb = TySet.of_list [ CType C_Bool; CType (C_BV 1) ];
+          lb = TySet.of_list [ BinCamlType BinCaml_Bool; BinCamlType (BinCaml_BV 1) ];
           ub = TySet.empty;
         } );
       ( VarId.make_id "$YF",
         {
-          lb = TySet.of_list [ CType C_Bool; CType (C_BV 1) ];
+          lb = TySet.of_list [ BinCamlType BinCaml_Bool; BinCamlType (BinCaml_BV 1) ];
           ub = TySet.singleton @@ TypeVar (VarId.make_id "$XF");
         } );
       ( VarId.make_id "$ZF",
         {
-          lb = TySet.of_list [ CType C_Bool; CType (C_BV 1) ];
+          lb = TySet.of_list [ BinCamlType BinCaml_Bool; BinCamlType (BinCaml_BV 1) ];
           ub = TySet.singleton @@ TypeVar (VarId.make_id "$YF");
         } );
     ]
@@ -158,7 +158,7 @@ let%test_unit "BinSub type ADT" =
   let f = TypeVar (VarId.make_id "f") in
   let t1 = TypeVar (VarId.make_id "t1") in
   let t2 = TypeVar (VarId.make_id "t2") in
-  let int32 = CType (C_BV 32) in
+  let int32 = BinCamlType (BinCaml_BV 32) in
 
   let fields1 =
     [ { offset = Z.of_int 4; size = 4; ty = Sect (b, Sect (t1, alpha)) } ]