Module `Number_adjuncts.For_naked_immediates`

module Num : sig ... end

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

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

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

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

val standard_int_kind : Flambda2_kinds.Flambda_kind.Standard_int.t

Module Number_adjuncts.For_naked_immediates

Module `Number_adjuncts.For_naked_immediates`