lean_sys/
libuv.rs

1use crate::*;
2
3extern "C" {
4    pub fn lean_libuv_version(_: lean_obj_arg) -> lean_obj_res;
5}