Scope.Tokenval use :
'a t @ unique ->
(f:
(Await_kernel.Terminator.t @ local ->
('a Task_handle.t @ local unique ->
Base.unit) @ local once) @ local once ->
Base.unit) @ onceuse token ~f consumes the token and turns it into a task by calling f terminator task_handle.