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