Up – OCaml package documentation » merlin-lib index » Library merlin-lib.ocaml_utils » Ocaml_utils » Zero_alloc_utils » Assume_info

Module `Zero_alloc_utils.Assume_info`

The Assume_info module contains an instantiation of the abstract domain with trivial witnesses. It is used to propagate assume annotations from the front-end to the backend. The backend contains a different instantiation of the abstract domain where the witnesses contain actual information about allocations - see Checkmach.

type t

val none : t

val create : 
  strict:bool ->
  never_returns_normally:bool ->
  never_raises:bool ->
  inferred:bool ->
  t

val compare : t -> t -> int

val equal : t -> t -> bool

val join : t -> t -> t

val meet : t -> t -> t

val to_string : t -> string

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

val is_none : t -> bool

val is_inferred : t -> bool

module Witnesses : sig ... end

module V : sig ... end

module Value : sig ... end

val get_value : t -> Value.t option