module type S_with_Structure = sig .. end
sig
end
include Abstract_domain.S
val structure : t Abstract_domain.structure
t Abstract_domain.structure
val log_category : Log.category
Log.category