type inlining_arguments = private {max_depth : int;max_rec_depth : int;call_cost : float;alloc_cost : float;prim_cost : float;branch_cost : float;indirect_call_cost : float;poly_compare_cost : float;small_function_size : int;large_function_size : int;small_functor_size : int;large_functor_size : int;threshold : float;
}val speculative_inlining_only_if_arguments_useful : bool refval speculative_inlining_track_lifted_constants : bool refval report_bin : bool ref