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 : Int_number_kind

module For_naked_immediates : Int_number_kind

module For_float32s : Boxable_number_kind

module For_floats : Boxable_number_kind

module For_int8s : Int_number_kind

module For_int16s : Int_number_kind

module For_int32s : Boxable_int_number_kind

module For_int64s : Boxable_int_number_kind

module For_nativeints : Boxable_int_number_kind

Module Flambda2_simplify.Number_adjuncts

Module `Flambda2_simplify.Number_adjuncts`