(include_subdirs no)

(library
 (public_name binsec.domains)
 (name binsec_domains)
 (modules :standard)
 (private_modules common interval)
 (libraries zarith))
