lean_sys/
thread.rs

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