os

Operating system interaction predicates

Library was rename, see: os_lib.hml

---

Nicos Angelopoulos
---
London
2025.