Module type Abstract.Domain.Internal

module type Internal = sig .. end

include Abstract_domain.S
val structure : t structure