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