The standard library Fate api defines access to callcc and related functionality.
The Fate api is implemented by the fate package.
The Fate api source code is in src/lib/std/src/nj/fate.api.
The above information is manually maintained and may contain errors.
api {
Fate X;
call_with_current_fate : (Fate(X ) -> X) -> X;
switch_to_fate : Fate(X ) -> X -> Y;
make_isolated_fate : (X -> Void) -> Fate(X );
Control_Fate X;
call_with_current_control_fate : (Control_Fate(X ) -> X) -> X;
switch_to_control_fate : Control_Fate(X ) -> X -> Y;};