1
2
3
4
5
6
7
8
9
10
11
12
use crate::*;
#[link(name = "leanshared")]
extern "C" {
pub fn lean_st_mk_ref(_: lean_obj_arg, _: lean_obj_arg) -> lean_obj_res;
pub fn lean_st_mk_ref_get(_: b_lean_obj_arg, _: lean_obj_arg) -> lean_obj_res;
pub fn lean_st_mk_ref_set(_: b_lean_obj_arg, _: lean_obj_arg, _: lean_obj_arg) -> lean_obj_res;
pub fn lean_st_mk_ref_reset(_: b_lean_obj_arg, _: lean_obj_arg) -> lean_obj_res;
pub fn lean_st_mk_ref_swap(_: b_lean_obj_arg, _: lean_obj_arg, _: lean_obj_arg)
-> lean_obj_res;
}