jon.recoil.org

Module Inlining_history.Absolute

type t
and path =
  1. | Empty
  2. | Unknown of {
    1. prev : path;
    }
  3. | Function of {
    1. dbg : Debuginfo.t;
    2. name : string;
    3. prev : path;
    }
  4. | Module of {
    1. name : string;
    2. prev : path;
    }
  5. | Class of {
    1. name : string;
    2. prev : path;
    }
  6. | Call of {
    1. dbg : Debuginfo.t;
    2. callee : t;
    3. prev : path;
    }
  7. | Inline of {
    1. prev : path;
    }
val empty : Compilation_unit.t -> t
val print : Format.formatter -> t -> unit
val compare : t -> t -> int
val uid_path : path -> string
val compilation_unit : t -> Compilation_unit.t
val path : t -> path
val to_string : t -> string
val shorten_to_definition : t -> t