jon.recoil.org

Module Flambda2_terms.Removed_operations

type t = private {
  1. call : int;
  2. alloc : int;
  3. prim : int;
  4. branch : int;
  5. direct_call_of_indirect : int;
  6. specialized_poly_compare : int;
  7. requested_inline : int;
}
val zero : t
val call : t
val branch : t
val prim : Flambda_primitive.t -> t
val alloc : t
val direct_call_of_indirect : t
val specialized_poly_compare : t
val (+) : t -> t -> t
val print : Format.formatter -> t -> unit
val evaluate : args:Inlining_arguments.t -> t -> float
val equal : t -> t -> bool