Module Operator.Malloc_id

Unique identifier for malloc sites, which eventually includes all allocations in a C program. We also give string as a convenient name for these allocations.

Unique identifier for malloc sites, which eventually includes all allocations in a C program. We also give string as a convenient name for these allocations.

type t = private int * string

val fresh : string -> t

val hash : t -> int

val to_string : t -> string

val to_int : t -> int

val compare : t -> t -> int

val equal : t -> t -> bool