Module type Simpler_domains.Minimal_with_datatype

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

include Simpler_domains.Minimal
include Datatype.S