sig
type t
val mem : 'a Abstract_domain.key -> bool
val get :
'a Abstract_domain.key -> (Abstract_domain.Interface.t -> 'a) option
val set :
'a Abstract_domain.key ->
'a -> Abstract_domain.Interface.t -> Abstract_domain.Interface.t
end