module Multidim_domain: sig .. end
sig
end
include Abstract_domain.Leaf
val flag : Abstractions.flag
Abstractions.flag