Remove ill-placed attributes

lib/coq_verified_extraction_malfunction_ffi/lib/float64.mli

@@ -57,13 +57,11 @@ val le : t -> t -> bool
 (** The IEEE 754 float comparison.
  * NotComparable is returned if there is a NaN in the arguments *)
 val compare : t -> t -> float_comparison
-[@@ocaml.inline always]
 
 type float_class =
   | PNormal | NNormal | PSubn | NSubn | PZero | NZero | PInf | NInf | NaN
 
 val classify : t -> float_class
-[@@ocaml.inline always]
 
 val mul : t -> t -> t
 
@@ -77,19 +75,15 @@ val sqrt : t -> t
 
 (** Link with integers *)
 val of_uint63 : Uint63.t -> t
-[@@ocaml.inline always]
 
 val normfr_mantissa : t -> Uint63.t
-[@@ocaml.inline always]
 
 (** Shifted exponent extraction *)
 val eshift : int
 
 val frshiftexp : t -> t * Uint63.t (* float remainder, shifted exponent *)
-[@@ocaml.inline always]
 
 val ldshiftexp : t -> Uint63.t -> t
-[@@ocaml.inline always]
 
 val next_up : t -> t
 
@@ -98,12 +92,11 @@ val next_down : t -> t
 (** Return true if two floats are equal.
  * All NaN values are considered equal. *)
 val equal : t -> t -> bool
-[@@ocaml.inline always]
 
 val hash : t -> int
 
 (** Total order relation over float values. Behaves like [Pervasives.compare].*)
 val total_compare : t -> t -> int
 
 val is_float64 : Obj.t -> bool
-[@@ocaml.inline always]
+