ocaml 4.08 compat

src/lib/reasoners/bitv_rel.ml

@@ -1660,12 +1660,12 @@ type state =
 type 'a hashable = (module Hashtbl.HashedType with type t = 'a)
 
 module Any_propagator : sig
-  type !'a t
+  type 'a t
 
   val make : 'a hashable -> (state -> 'a -> unit) -> 'a t
 
   module Queue : sig
-    type !'a propagator = 'a t
+    type 'a propagator = 'a t
 
     type t
 
@@ -1676,7 +1676,7 @@ module Any_propagator : sig
     val run1 : state -> t -> bool
   end
 end = struct
-  type !'a t =
+  type 'a t =
     { id : 'a Type.Id.t
     ; hashable : 'a hashable
     ; run : state -> 'a -> unit }
@@ -1704,7 +1704,7 @@ end = struct
   module Q = Uqueue.Make(Binding)
 
   module Queue = struct
-    type !'a propagator = 'a t
+    type 'a propagator = 'a t
 
     type t = Q.t
 

src/lib/util/type.ml

@@ -51,7 +51,7 @@ module Id = struct
     type _ id += Id : t id
   end
 
-  type !'a t = (module ID with type t = 'a)
+  type 'a t = (module ID with type t = 'a)
 
   let make (type a) () : a t =
     (module struct type t = a type _ id += Id : t id end)

src/lib/util/type.mli

@@ -43,7 +43,7 @@
 type (_, _) eq = Equal : ('a, 'a) eq
 
 module Id : sig
-  type !'a t
+  type 'a t
 
   val make : unit -> 'a t