1 2 3 4 5 6 7 8
/*! Utilities for initializing Lean threads */ extern "C" { pub fn lean_initialize_thread(); pub fn lean_finalize_thread(); }