pub fn model<F: Fn() + Sync + Send + 'static>(f: F)
Run f with loom::model if compiled with check-loom feature.
f
loom::model
check-loom