Module `Flambda2_terms.Code_size`

type t

Values of type t may be negative

val of_int : int -> Flambda2_terms.Code_size.t

val to_int : Flambda2_terms.Code_size.t -> int

val zero : Flambda2_terms.Code_size.t

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

val (-) : 
  Flambda2_terms.Code_size.t ->
  Flambda2_terms.Code_size.t ->
  Flambda2_terms.Code_size.t

val (<=) : Flambda2_terms.Code_size.t -> Flambda2_terms.Code_size.t -> bool

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

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

val prim : 
  machine_width:Target_system.Machine_width.t ->
  Flambda2_terms.Flambda_primitive.t ->
  Flambda2_terms.Code_size.t

val simple : Flambda2_term_basics.Simple.t -> Flambda2_terms.Code_size.t

val static_consts : unit -> Flambda2_terms.Code_size.t

val apply : Flambda2_terms.Apply_expr.t -> Flambda2_terms.Code_size.t

val apply_cont : Flambda2_terms.Apply_cont_expr.t -> Flambda2_terms.Code_size.t

val switch : Flambda2_terms.Switch_expr.t -> Flambda2_terms.Code_size.t

val invalid : Flambda2_terms.Code_size.t

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

val alloc_size : Flambda2_terms.Code_size.t

Module Flambda2_terms.Code_size