sig
type t = Simple | Double | Long_Double | Real
val pretty : Stdlib.Format.formatter -> Numerors_utils.Precisions.t -> unit
val of_fkind : Cil_types.fkind -> Numerors_utils.Precisions.t
val get : Numerors_utils.Precisions.t -> int
val exponent : Numerors_utils.Precisions.t -> int
val denormalized : Numerors_utils.Precisions.t -> int
val compare :
Numerors_utils.Precisions.t -> Numerors_utils.Precisions.t -> int
val eq : Numerors_utils.Precisions.t -> Numerors_utils.Precisions.t -> bool
val max :
Numerors_utils.Precisions.t ->
Numerors_utils.Precisions.t -> Numerors_utils.Precisions.t
val min :
Numerors_utils.Precisions.t ->
Numerors_utils.Precisions.t -> Numerors_utils.Precisions.t
end