package calli

  1. Overview
  2. Docs

Module AbstractMemory.Make

Parameters

Signature

type t
type valty = AbsVal.t
val empty : t
val bot : t
val find_opt : (string * int * int) -> t -> valty option
val find : (string * int * int) -> t -> valty
val update : (string * int * int) -> valty -> t -> t
val (<=) : t -> t -> bool
val join : t -> t -> t
val meet : t -> t -> t
val widen : t -> t -> t
val pp : Format.formatter -> t -> unit