Module Inline_and_simplify_aux.Result

type t
val create : unit -> t
val approx : t -> Simple_value_approx.t
val set_approx : t -> Simple_value_approx.t -> t
val meet_approx : t -> Env.t -> Simple_value_approx.t -> t
val used_static_exceptions : t -> Static_exception.Set.t
val use_static_exception : t -> Static_exception.t -> t
val exit_scope_catch : t -> Static_exception.t -> t
val benefit : t -> Inlining_cost.Benefit.t
val map_benefit : t -> (Inlining_cost.Benefit.t -> Inlining_cost.Benefit.t) -> t
val add_benefit : t -> Inlining_cost.Benefit.t -> t
val reset_benefit : t -> t
val set_inlining_threshold : t -> Inlining_cost.Threshold.t option -> t
val add_inlining_threshold : t -> Inlining_cost.Threshold.t -> t
val sub_inlining_threshold : t -> Inlining_cost.Threshold.t -> t
val inlining_threshold : t -> Inlining_cost.Threshold.t option
val seen_direct_application : t -> t
val num_direct_applications : t -> int