Module type Mem_exec.Domain

module type Domain = sig .. end

include Datatype.S_with_collections
include Abstract_domain.Recycle