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