Module type Abstract_domain.Interface

module type Interface = sig .. end
External interface of a domain, with accessors. Automatically built by the functor Structure.Open. When a generic domain is a combination of several domains, these functions allow interacting with its subparts. Note that their behavior is undefined if the overall domain contains several times the same domain.

type t 
val mem : 'a Abstract_domain.key -> bool
Tests whether a key belongs to the domain.
val get : 'a Abstract_domain.key -> (t -> 'a) option
For a key of type k key:
val set : 'a Abstract_domain.key ->
'a -> t -> t
For a key of type k key: