Codex.Domains
include module type of struct include Domains end
module Assert_False_Transfer_Functions =
Domains.Assert_False_Transfer_Functions
module Bitwise_domain = Domains.Bitwise_domain
module Constraint_domain2 = Domains.Constraint_domain2
module Constraint_domains_sig = Domains.Constraint_domains_sig
module Domain_sig = Domains.Domain_sig
module Domains_constraints_assert_false =
Domains.Domains_constraints_assert_false
module Domains_constraints_constraint_propagation =
Domains.Domains_constraints_constraint_propagation
module Domains_constraints_nonrelational =
Domains.Domains_constraints_nonrelational
module Domains_constraints_product = Domains.Domains_constraints_product
module Fully_expanded_finite_region = Domains.Fully_expanded_finite_region
module Lift_integer_domain_to_binary_domain =
Domains.Lift_integer_domain_to_binary_domain
module Memory_domain = Domains.Memory_domain
module Memory_sig = Domains.Memory_sig
module Prod_domain = Domains.Prod_domain
module Region_numeric_offset = Domains.Region_numeric_offset
module Region_separation = Domains.Region_separation
module Region_suffix_tree = Domains.Region_suffix_tree
module Type_domain = Domains.Type_domain
module Typed_memory_domain = Domains.Typed_memory_domain
module Wholify = Domains.Wholify
module With_Noop = Domains.With_Noop
module With_focusing = Domains.With_focusing