Module ResourceLeakCSDomain.Summary

val apply : callee:summary -> return:Absint.AccessPath.base -> actuals:Absint.HilExp.t list -> t -> t
val reset_interface_type_map : unit
val make : Absint.FormalMap.t -> t -> summary
val pp : Stdlib.Format.formatter -> summary -> unit
type t = summary