10.5. Non-determinism🔗

Laurel will support marking procedures as non-deterministic. A bodyless non-det procedure will implicitly take a global time: int variable as input and output, so that two invocations with the same (explicit) arguments do not necessarily return the same value.