Previous  Up  Next

Module Parallel_bonds

module Parallel_bonds: sig .. end
Abstract domain to over-approximate the set of reachable views
module Domain: Analyzer_domain_sig.Domain