jon.recoil.org

Module Inlining_report.Inlining_tree

module Key : sig ... end
module Map : Map.S with type key = Key.t
type decision_or_reference =
  1. | Decision of Decision_with_context.t
  2. | Reference of Flambda2_terms.Inlining_history.Absolute.t
  3. | Unavailable
type item =
  1. | Call of {
    1. decision : decision_or_reference;
    2. tree : t;
    }
  2. | Fundecl of {
    1. decisions : decisions;
    2. body : t;
    }
  3. | Scope of t
and t = item Map.t
and decisions = Decision_with_context.t list