module type Minimal_with_datatype = sig .. end
sig
end
The simplest interface of domains, equipped with a frama-c datatype.
include Simpler_domains.Minimal
include Datatype.S