sig
type t
val bottom : MemVal.State.t
val join : MemVal.State.t -> MemVal.State.t -> MemVal.State.t
val of_kinstr : Cil_types.kinstr -> MemVal.State.t
val of_stmt : Cil_types.stmt -> MemVal.State.t
val of_kf : Cil_types.kernel_function -> MemVal.State.t
val pretty : Stdlib.Format.formatter -> MemVal.State.t -> unit
end