Module `Flambda2_simplify.Number_adjuncts`

Additional information about kinds of numbers (mainly relating to conversions and boxing/unboxing) in a standard form that can be fed to functors parametric in number kinds.

module type Num_common = sig ... end

module type Number_kind_common = sig ... end

module type Number_kind = sig ... end

module type Int_number_kind = sig ... end

module type Boxable = sig ... end

module type Boxable_number_kind = sig ... end

module type Boxable_int_number_kind = sig ... end

module For_tagged_immediates : 
  Flambda2_simplify.Number_adjuncts.Int_number_kind

module For_naked_immediates : Flambda2_simplify.Number_adjuncts.Int_number_kind

module For_float32s : Flambda2_simplify.Number_adjuncts.Boxable_number_kind

module For_floats : Flambda2_simplify.Number_adjuncts.Boxable_number_kind

module For_int8s : Flambda2_simplify.Number_adjuncts.Int_number_kind

module For_int16s : Flambda2_simplify.Number_adjuncts.Int_number_kind

module For_int32s : Flambda2_simplify.Number_adjuncts.Boxable_int_number_kind

module For_int64s : Flambda2_simplify.Number_adjuncts.Boxable_int_number_kind

module For_nativeints : 
  Flambda2_simplify.Number_adjuncts.Boxable_int_number_kind

Module Flambda2_simplify.Number_adjuncts

Module `Flambda2_simplify.Number_adjuncts`