Frama-C:
Plug-ins:
Libraries:

Frama-C API - Make

Parameters

module _ : Config

Signature

type t
type submemory = M.t
val pretty : Stdlib.Format.formatter -> t -> unit
val hash : t -> int
val equal : t -> t -> bool
val compare : t -> t -> int
val of_raw : Abstract_memory.Bit.t -> t
val weak_erase : Abstract_memory.Bit.t -> t -> t
val is_included : t -> t -> bool
val unify : (submemory -> submemory -> submemory) -> t -> t -> t
val map : (submemory -> submemory) -> t -> t