Module Inlining_history.Tracker
val empty : Compilation_unit.t -> Flambda2_terms.Inlining_history.Tracker.tval fundecl :
dbg:Debuginfo.t ->
function_relative_history:Flambda2_terms.Inlining_history.Relative.t ->
name:string ->
Flambda2_terms.Inlining_history.Tracker.t ->
Flambda2_terms.Inlining_history.Absolute.t
* Flambda2_terms.Inlining_history.Relative.tval enter_inlined_apply :
dbg:Debuginfo.t ->
callee:Flambda2_terms.Inlining_history.Absolute.t ->
apply_relative_history:Flambda2_terms.Inlining_history.Relative.t ->
Flambda2_terms.Inlining_history.Tracker.t ->
Flambda2_terms.Inlining_history.Tracker.tval inside_function :
Flambda2_terms.Inlining_history.Absolute.t ->
Flambda2_terms.Inlining_history.Tracker.tval fundecl_of_scoped_location :
name:string ->
path_to_root:Debuginfo.Scoped_location.t ->
Debuginfo.Scoped_location.t ->
Flambda2_terms.Inlining_history.Tracker.t ->
Flambda2_terms.Inlining_history.Absolute.t
* Flambda2_terms.Inlining_history.Relative.tval call :
dbg:Debuginfo.t ->
callee:Flambda2_terms.Inlining_history.Absolute.t ->
relative:Flambda2_terms.Inlining_history.Relative.t ->
Flambda2_terms.Inlining_history.Tracker.t ->
Flambda2_terms.Inlining_history.Absolute.tval unknown_call :
dbg:Debuginfo.t ->
relative:Flambda2_terms.Inlining_history.Relative.t ->
Flambda2_terms.Inlining_history.Tracker.t ->
Flambda2_terms.Inlining_history.Absolute.t