Module `Flambda2_simplify.Unboxers`

type number_decider = {

param_name : string;
kind : Flambda2_simplify.Simplify_import.K.Naked_number_kind.t;
prove_is_a_boxed_number : Flambda2_simplify.Simplify_import.TE.t -> Flambda2_simplify.Simplify_import.T.t -> unit Flambda2_simplify.Simplify_import.T.proof_of_property;

}

type unboxer = {

var_name : string;
var_kind : Flambda2_kinds.Flambda_kind.t;
poison_const : Flambda2_simplify.Simplify_import.Const.t;
unboxing_prim : Flambda2_term_basics.Simple.t -> Flambda2_simplify.Simplify_import.P.t;
prove_simple : Flambda2_simplify.Simplify_import.TE.t -> min_name_mode:Flambda2_nominal.Name_mode.t -> Flambda2_simplify.Simplify_import.T.t -> Flambda2_term_basics.Simple.t Flambda2_simplify.Simplify_import.T.meet_shortcut;

}

module Field : sig ... end

module Closure_field : sig ... end

module type Number_S = sig ... end

module Immediate : Number_S

module Float32 : Number_S

module Float : Number_S

module Int32 : Number_S

module Int64 : Number_S

module Nativeint : Number_S

module Vec128 : Number_S

module Vec256 : Number_S

module Vec512 : Number_S