[WP] Fix typing errors during export with driver which use builtins

src/kernel_internals/typing/logic_builtin.ml

@@ -161,7 +161,8 @@ let init =
             "\\pointer_comparable", [], [], [("p1", fun_ptr);
                                          ("p2", object_ptr)];
             "\\pointer_comparable", [], [], [("p1", object_ptr);
-                                         ("p2", fun_ptr)];
+                                             ("p2", fun_ptr)];
+            "\\bit_test", [], [], ["x", Linteger; "pos", Linteger] ;
           ];
         (* functions *)
         List.iter