Module type Transfer_logic.Domain

module type Domain = sig .. end

include Abstract_domain.Logic
include Datatype.S