Function deterministic::spawn::spawn_with_prio

pub fn spawn_with_prio<F, T>(prio: c_int, f: F) -> JoinHandle<T>where
    F: FnOnce() -> T,
    F: Send + 'static,
    T: Send + 'static,

Spawn a thread with a specific realtime priority.