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

Module Zero_alloc_info