Module `Number_adjuncts.For_floats`

include Flambda2_simplify.Number_adjuncts.Number_kind

module Num : Flambda2_simplify.Number_adjuncts.Num_common

include Flambda2_simplify.Number_adjuncts.Number_kind_common
  with module Num := Flambda2_simplify.Number_adjuncts.For_floats.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 ->
  Flambda2_simplify.Number_adjuncts.For_floats.Num.Set.t
    Flambda2_types.meet_shortcut

val this_unboxed : 
  Flambda2_simplify.Number_adjuncts.For_floats.Num.t ->
  Flambda2_types.t

val these_unboxed : 
  Flambda2_simplify.Number_adjuncts.For_floats.Num.Set.t ->
  Flambda2_types.t

val term_unboxed : 
  Flambda2_simplify.Number_adjuncts.For_floats.Num.t ->
  Flambda2_terms.Flambda.Named.t

include Flambda2_simplify.Number_adjuncts.Boxable
  with module Num := Flambda2_simplify.Number_adjuncts.For_floats.Num

val boxable_number_kind : Flambda2_kinds.Flambda_kind.Boxable_number.t

val this_boxed : 
  Flambda2_simplify.Number_adjuncts.For_floats.Num.t ->
  Flambda2_term_basics.Alloc_mode.For_types.t ->
  Flambda2_types.t

val these_boxed : 
  Flambda2_simplify.Number_adjuncts.For_floats.Num.Set.t ->
  Flambda2_term_basics.Alloc_mode.For_types.t ->
  Flambda2_types.t

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

Module Number_adjuncts.For_floats

Module `Number_adjuncts.For_floats`