lean_sys/
dbg.rs

1/*! Debugging helper functions */
2use crate::*;
3
4extern "C" {
5    pub fn lean_dbg_trace(s: lean_obj_arg, f: lean_obj_arg) -> *mut lean_object;
6    pub fn lean_dbg_sleep(ms: u32, f: lean_obj_arg) -> *mut lean_object;
7    pub fn lean_dbg_trace_if_shared(s: lean_obj_arg, a: lean_obj_arg) -> *mut lean_object;
8}