Module `Domains`

module Assert_false_domain : sig ... end

module Bitwise : sig ... end

module Extend : sig ... end

module Integer2binary : sig ... end

module Log : sig ... end

module Loop_domain : sig ... end

module Memory_domains : sig ... end

module Memory_sig : sig ... end

Signature for the parts of memory domain.

module Overflow_checks : sig ... end

Adds checks for overflows around bitvector operation. Assumes no overflow occurs and optionaly raise alarms if overflows are possible.

module Product : sig ... end

module Sig : sig ... end

module Term_based : sig ... end

module Term_based_sig : sig ... end

module Term_domain : sig ... end

module With_Noop : sig ... end

Module Domains