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