Source file scheduler0.ml
1
2
3
4
5
6
7
8
9
10
11
open! Core
open! Import
include Types.Scheduler
let events t = t.time_source.events
let set_execution_context t execution_context =
if not (phys_equal t.current_execution_context execution_context)
then t.current_execution_context <- execution_context
;;