phobos-next ~master (2025-12-19T22:07:52.6441088)
Dub
Repo
never_terminates
nxt
effects
UDA of function that never terminates. In Koka this is
div
.
Meta
Source
See Implementation
nxt
effects
enums
allocates_on_gc_heap
allocates_on_heap
caches_return_value
caches_return_value_to_disk
never_terminates
non_deterministic
throws
writes_to_console
UDA of function that never terminates. In Koka this is div.