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