Previous  Up  Next

Module Site_across_bonds_domain

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