Module Dotnet.ResourceLeaksCS
val checker : ResourceLeakCSDomain.summary Absint.InterproceduralAnalysis.t -> ResourceLeakCSDomain.summary option
Dotnet.ResourceLeaksCSval checker : ResourceLeakCSDomain.summary Absint.InterproceduralAnalysis.t -> ResourceLeakCSDomain.summary option