Previous  Up  Next

Module Views_domain

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