Module `Flambda2_terms.Code_size`

type t

Values of type t may be negative

val of_int : int -> t

val to_int : t -> int

val zero : t

val (+) : t -> t -> t

val (-) : t -> t -> t

val (<=) : t -> t -> bool

val equal : t -> t -> bool

val print : Format.formatter -> t -> unit

val box_number : 
  machine_width:Target_system.Machine_width.t ->
  Flambda2_kinds.Flambda_kind.Boxable_number.t ->
  t

val block : int -> t

val array : int -> t

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

val simple : Flambda2_term_basics.Simple.t -> t

val static_consts : unit -> t

val apply : Apply_expr.t -> t

val apply_cont : Apply_cont_expr.t -> t

val switch : Switch_expr.t -> t

val invalid : t

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

val alloc_size : t

Module Flambda2_terms.Code_size