Module `Number_adjuncts.For_floats`

include Number_kind

module Num : Num_common

include Number_kind_common with module Num := Num

val standard_int_or_float_kind : 
  Flambda2_kinds.Flambda_kind.Standard_int_or_float.t

val unboxed_prover : 
  Flambda2_types.Typing_env.t ->
  Flambda2_types.t ->
  Num.Set.t Flambda2_types.meet_shortcut

val this_unboxed : Num.t -> Flambda2_types.t

val these_unboxed : Num.Set.t -> Flambda2_types.t

val term_unboxed : Num.t -> Flambda2_terms.Flambda.Named.t

include Boxable with module Num := Num

val boxable_number_kind : Flambda2_kinds.Flambda_kind.Boxable_number.t

val this_boxed : 
  Num.t ->
  Flambda2_bound_identifiers.Alloc_mode.For_types.t ->
  Flambda2_types.t

val these_boxed : 
  Num.Set.t ->
  Flambda2_bound_identifiers.Alloc_mode.For_types.t ->
  Flambda2_types.t

val box : 
  Flambda2_types.t ->
  Flambda2_bound_identifiers.Alloc_mode.For_types.t ->
  Flambda2_types.t

Module Number_adjuncts.For_floats