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 ... endmodule Closure_field : sig ... endmodule type Number_S = sig ... endmodule Float : Flambda2_simplify.Unboxers.Number_Smodule Int32 : Flambda2_simplify.Unboxers.Number_Smodule Int64 : Flambda2_simplify.Unboxers.Number_S