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