Module Zero_alloc_info

Function summaries computed by zero_alloc analysis and encoded as integers for storing in .cmx files.

type value = int
type t
val create : unit -> t
val reset : t -> unit
val merge : t -> into:t -> unit

merge_checks t ~into modifies into by adding information from t.

val get_value : t -> string -> value option

get_value t fun_name returns None if fun_name is not associated with any value.

val set_value : t -> string -> value -> unit
module Raw : sig ... end
val to_raw : t -> Raw.t
val of_raw : Raw.t -> t