miden-stdlib-sys 0.12.0

Low-level Rust bindings for the Miden standard library
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

use core::ffi::c_void;

/// Unreachable stubs for std::collections::smt procedures used via the SDK

#[unsafe(export_name = "miden::core::collections::smt::get")]
pub extern "C" fn std_collections_smt_get_stub(
    k0: f32,
    k1: f32,
    k2: f32,
    k3: f32,
    r0: f32,
    r1: f32,
    r2: f32,
    r3: f32,
    result_ptr: *mut c_void,
) {
    let _ = (k0, k1, k2, k3, r0, r1, r2, r3, result_ptr);
    unsafe { core::hint::unreachable_unchecked() }
}

#[unsafe(export_name = "miden::core::collections::smt::set")]
pub extern "C" fn std_collections_smt_set_stub(
    v0: f32,
    v1: f32,
    v2: f32,
    v3: f32,
    k0: f32,
    k1: f32,
    k2: f32,
    k3: f32,
    r0: f32,
    r1: f32,
    r2: f32,
    r3: f32,
    result_ptr: *mut c_void,
) {
    let _ = (v0, v1, v2, v3, k0, k1, k2, k3, r0, r1, r2, r3, result_ptr);
    unsafe { core::hint::unreachable_unchecked() }
}