phobos-next ~master (2025-01-18T22:13:40.3704578)
Dub
Repo
throws
nxt
effects
UDA of function that may throw an
Exception|Error
. In Koka this is
exn
.
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 may throw an Exception|Error. In Koka this is exn.