Module type `Zero_alloc_utils.WS`

Abstract domain used in static analysis for checking

zero_alloc
annotations. See backend/zero_alloc_checker for details of the analysis. See this module's .ml file for details about the translation of user-provided annotations to abstract values in this domain.

type t

val empty : t

val join : t -> t -> t

val meet : t -> t -> t

val lessequal : t -> t -> bool

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

val compare : t -> t -> int

Module type Zero_alloc_utils.WS