`sig
type ('a, 'b) continuation
val fiber : ('a -> 'b) -> ('a, 'b) Effect.Shallow.continuation
type ('a, 'b) handler = {
retc : 'a -> 'b;
exnc : exn -> 'b;
effc :
'c. 'c Effect.t -> (('c, 'a) Effect.Shallow.continuation -> 'b) option;
}
val continue_with :
('c, 'a) Effect.Shallow.continuation ->
'c -> ('a, 'b) Effect.Shallow.handler -> 'b
val discontinue_with :
('c, 'a) Effect.Shallow.continuation ->
exn -> ('a, 'b) Effect.Shallow.handler -> 'b
val discontinue_with_backtrace :
('a, 'b) Effect.Shallow.continuation ->
exn ->
Stdlib.Printexc.raw_backtrace -> ('b, 'c) Effect.Shallow.handler -> 'c
external get_callstack :
('a, 'b) Effect.Shallow.continuation ->
int -> Stdlib.Printexc.raw_backtrace = "caml_get_continuation_callstack"
end`