[![Alire](https://img.shields.io/endpoint?url=https://alire.ada.dev/badges/optional.json)](https://alire.ada.dev/crates/optional.html) ## Optional values See `Optional.Values` package for specs and `examples/optional-demo.adb`.
[![Alire](https://img.shields.io/endpoint?url=https://alire.ada.dev/badges/optional.json)](https://alire.ada.dev/crates/optional.html) ## Optional values See `Optional.Values` package for specs and `examples/optional-demo.adb`.