lean_sys/primitive/
st.rs

1/*! ST Ref primitives */
2use crate::*;
3
4extern "C" {
5    pub fn lean_st_mk_ref(_: lean_obj_arg, _: lean_obj_arg) -> lean_obj_res;
6    pub fn lean_st_mk_ref_get(_: b_lean_obj_arg, _: lean_obj_arg) -> lean_obj_res;
7    pub fn lean_st_mk_ref_set(_: b_lean_obj_arg, _: lean_obj_arg, _: lean_obj_arg) -> lean_obj_res;
8    pub fn lean_st_mk_ref_reset(_: b_lean_obj_arg, _: lean_obj_arg) -> lean_obj_res;
9    pub fn lean_st_mk_ref_swap(_: b_lean_obj_arg, _: lean_obj_arg, _: lean_obj_arg)
10        -> lean_obj_res;
11}