Module type Mem_exec2.Domain

module type Domain = sig .. end

include Datatype.S_with_collections
type summary 
module Summary: Datatype.S  with type t = summary
val filter_by_bases : Base.Hptset.t -> t -> t
val reuse : current_input:t -> previous_output:t -> t