3 ms·Yes, it's useful for reasoning about resources (file handles, sockets, memory buffers) etc.by adamnemecek 6y agoYes, it's useful for reasoning about resources (file handles, sockets, memory buffers) etc.