UDA of function that has non-deterministic behaviour. Typically reads an extern resource such as the system clock. In Koka this is ndet.
See Implementation
UDA of function that has non-deterministic behaviour. Typically reads an extern resource such as the system clock. In Koka this is ndet.