Module Abstract.Domain

module Domain: sig .. end

Key and structure for abstract domains. See for more details.


include Structure.Shape
module type Internal = sig .. end
module type External = sig .. end