Domain_builder.Builder
The builder is parameterized by the default single value abstraction, used when unspecified in numeric domains. This default is the only one usable for numeric comparisons.
module type BUILT_DOMAIN = sig ... end
A fully build domain: it contains
val build_classical : classical_domain -> (module BUILT_DOMAIN)