Module type Abstract.Domain.Internal

module type Internal = sig .. end

include Abstract_domain.Internal
val structure : t structure