Module `Flambda2_terms.Cost_metrics`

type t

val zero : Flambda2_terms.Cost_metrics.t

val from_size : Flambda2_terms.Code_size.t -> Flambda2_terms.Cost_metrics.t

val size : Flambda2_terms.Cost_metrics.t -> Flambda2_terms.Code_size.t

val removed : 
  Flambda2_terms.Cost_metrics.t ->
  Flambda2_terms.Removed_operations.t

val print : Stdlib.Format.formatter -> Flambda2_terms.Cost_metrics.t -> unit

val (+) : 
  Flambda2_terms.Cost_metrics.t ->
  Flambda2_terms.Cost_metrics.t ->
  Flambda2_terms.Cost_metrics.t

type code_characteristics = {

cost_metrics : Flambda2_terms.Cost_metrics.t;
params_arity : int;

}

val set_of_closures : 
  find_code_characteristics:
    (Flambda2_identifiers.Code_id.t ->
      Flambda2_terms.Cost_metrics.code_characteristics) ->
  Flambda2_terms.Set_of_closures.t ->
  Flambda2_terms.Cost_metrics.t

val increase_due_to_let_expr : 
  is_phantom:bool ->
  cost_metrics_of_defining_expr:Flambda2_terms.Cost_metrics.t ->
  Flambda2_terms.Cost_metrics.t

val increase_due_to_let_cont_non_recursive : 
  cost_metrics_of_handler:Flambda2_terms.Cost_metrics.t ->
  Flambda2_terms.Cost_metrics.t

val increase_due_to_let_cont_recursive : 
  cost_metrics_of_handlers:Flambda2_terms.Cost_metrics.t ->
  Flambda2_terms.Cost_metrics.t

val notify_added : 
  code_size:Flambda2_terms.Code_size.t ->
  Flambda2_terms.Cost_metrics.t ->
  Flambda2_terms.Cost_metrics.t

val notify_removed : 
  operation:Flambda2_terms.Removed_operations.t ->
  Flambda2_terms.Cost_metrics.t ->
  Flambda2_terms.Cost_metrics.t

val evaluate : 
  args:Flambda2_terms.Inlining_arguments.t ->
  Flambda2_terms.Cost_metrics.t ->
  float

val equal : 
  Flambda2_terms.Cost_metrics.t ->
  Flambda2_terms.Cost_metrics.t ->
  bool

Module Flambda2_terms.Cost_metrics

Module `Flambda2_terms.Cost_metrics`