Module Extensions.Floats

val tag : Tag.t
type k =
  1. | Ninf
  2. | Neg
  3. | Nzero
  4. | Pzero
  5. | Pos
  6. | Pinf
  7. | Nan
val flt : k -> Ty.t
val any : Ty.t
type t = {
  1. ninf : bool;
  2. neg : bool;
  3. nzero : bool;
  4. pzero : bool;
  5. pos : bool;
  6. pinf : bool;
  7. nan : bool;
}
val any_t : t
val empty_t : t
val neg_t : t -> t
val components : t -> k list
type printer = int -> Prec.assoc -> Stdlib.Format.formatter -> t -> unit
val print : printer
val printer_params : printer -> Printer.params
val printer_params' : Printer.params