Module `Inlining_history.Tracker`

type t

val empty : Compilation_unit.t -> Flambda2_terms.Inlining_history.Tracker.t

val absolute : 
  Flambda2_terms.Inlining_history.Tracker.t ->
  Flambda2_terms.Inlining_history.Absolute.t

val relative : 
  Flambda2_terms.Inlining_history.Tracker.t ->
  Flambda2_terms.Inlining_history.Relative.t

val 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.t

val 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.t

val inside_function : 
  Flambda2_terms.Inlining_history.Absolute.t ->
  Flambda2_terms.Inlining_history.Tracker.t

val 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.t

val 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.t

val unknown_call : 
  dbg:Debuginfo.t ->
  relative:Flambda2_terms.Inlining_history.Relative.t ->
  Flambda2_terms.Inlining_history.Tracker.t ->
  Flambda2_terms.Inlining_history.Absolute.t

Module Inlining_history.Tracker

Module `Inlining_history.Tracker`