Quandary.QuandarySummary
summary type for Quandary taint analysis
module F = Stdlib.Format
module Java : sig ... end
module Clang : sig ... end
module AccessTree : sig ... end
type t = AccessTree.t
val pp : F.formatter -> t -> unit