sig
  type 'a t = { run : '-> unit; execution_context : Execution_context.t; }
end