lean-sys 0.0.3

Bindings to Lean 4's C API
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

/*! ST Ref primitives */
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;
}