Module Concurrency.ConcurrencyUtils

val get_java_class_initializer_summary_of : 'payload Absint.InterproceduralAnalysis.t -> 'payload option
val get_java_constructor_summaries_of : 'payload Absint.InterproceduralAnalysis.t -> 'payload list