[eacsl] Add a function to check if a type is any of the GMP types

src/plugins/e-acsl/src/libraries/gmp_types.ml

@@ -123,6 +123,9 @@ let init () =
   end in
   try Cil.visitCilFileSameGlobals set_mp_t (Ast.get ()) with Exit -> ()
 
+let is_t ty =
+  Z.is_t ty || Q.is_t ty
+
 (*
 Local Variables:
 compile-command: "make -C ../../../../.."

src/plugins/e-acsl/src/libraries/gmp_types.mli

@@ -27,6 +27,9 @@ open Cil_types
 val init: unit -> unit
 (** Must be called before any use of GMP *)
 
+val is_t: typ -> bool
+(** @return true iff the given type is equivalent to one of the GMP type. *)
+
 (**************************************************************************)
 (******************************** Types ***********************************)
 (**************************************************************************)