Module `Quandary.QuandarySummary`

module F = Stdlib.Format

module Java : module type of sig ... end

module Clang : module type of sig ... end

module AccessTree : sig ... end

type t = AccessTree.t

val pp : F.formatter -> t -> unit