Module Multidim_domain

module Multidim_domain: sig .. end

include Abstract_domain.Leaf