Module 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.

Parameters

Signature

module type BUILT_DOMAIN = sig ... end

A fully build domain: it contains

val build_classical : classical_domain -> (module BUILT_DOMAIN)