Module `Number_adjuncts.For_int8s`

module Num : sig ... end

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

val standard_int_kind : Flambda2_kinds.Flambda_kind.Standard_int.t

Module Number_adjuncts.For_int8s