internal void UninstallFd(int fd) { Contract.Requires(Files.IsValidFd(fd)); Contract.Ensures(Files.IsAvailableFd(fd)); Files.Remove(fd); }
internal void UninstallFd(int fd) { Contract.Requires(Files.IsValidFd(fd)); Contract.Ensures(Files.IsAvailableFd(fd)); Files.Remove(fd); }