Module `Scalar.Floating`

module Width : sig ... end

include Scalar.S with type 'a width := 'a Scalar.Floating.Width.t

type nonrec 'a t =
  ('a Scalar.Floating.Width.t,
    Scalar.any_locality_mode Scalar.Floating.Width.t)
    Scalar.Maybe_naked.t

val all : Scalar.any_locality_mode Scalar.Floating.t list

val map : 'a Scalar.Floating.t -> f:('a -> 'b) -> 'b Scalar.Floating.t

val ignore_locality : 
  _ Scalar.Floating.t ->
  Scalar.any_locality_mode Scalar.Floating.t

val width : 
  _ Scalar.Floating.t ->
  Scalar.any_locality_mode Scalar.Floating.Width.t

val to_string : Scalar.any_locality_mode Scalar.Floating.t -> string

val sort : 
  Scalar.any_locality_mode Scalar.Floating.t ->
  Jkind_types.Sort.Const.t

val equal : 
  ('a -> 'b -> bool) ->
  'a Scalar.Floating.t ->
  'b Scalar.Floating.t ->
  bool

Module Scalar.Floating