miden-base-sys 0.12.0

Miden rollup Rust bingings and MASM 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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86

use core::ffi::c_void;

/// Output note interface stubs
#[unsafe(export_name = "miden::protocol::output_note::create")]
pub extern "C" fn output_note_create_plain(
    _tag: f32,
    _note_type: f32,
    _r0: f32,
    _r1: f32,
    _r2: f32,
    _r3: f32,
) -> f32 {
    unsafe { core::hint::unreachable_unchecked() }
}

#[unsafe(export_name = "miden::protocol::output_note::add_asset")]
pub extern "C" fn output_note_add_asset_plain(
    _k0: f32,
    _k1: f32,
    _k2: f32,
    _k3: f32,
    _v0: f32,
    _v1: f32,
    _v2: f32,
    _v3: f32,
    _note_idx: f32,
) {
    unsafe { core::hint::unreachable_unchecked() }
}

#[unsafe(export_name = "miden::protocol::output_note::get_assets_info")]
pub extern "C" fn output_note_get_assets_info_plain(_note_index: f32, _out: *mut c_void) {
    unsafe { core::hint::unreachable_unchecked() }
}

#[unsafe(export_name = "miden::protocol::output_note::get_assets")]
pub extern "C" fn output_note_get_assets_plain(_dest_ptr: *mut c_void, _note_index: f32) -> usize {
    unsafe { core::hint::unreachable_unchecked() }
}

#[unsafe(export_name = "miden::protocol::output_note::get_recipient")]
pub extern "C" fn output_note_get_recipient_plain(_note_index: f32, _out: *mut c_void) {
    unsafe { core::hint::unreachable_unchecked() }
}

#[unsafe(export_name = "miden::protocol::output_note::get_metadata")]
pub extern "C" fn output_note_get_metadata_plain(_note_index: f32, _out: *mut c_void) {
    unsafe { core::hint::unreachable_unchecked() }
}

#[unsafe(export_name = "miden::protocol::output_note::set_attachment")]
pub extern "C" fn output_note_set_attachment_plain(
    _note_index: f32,
    _attachment_scheme: f32,
    _attachment_kind: f32,
    _a0: f32,
    _a1: f32,
    _a2: f32,
    _a3: f32,
) {
    unsafe { core::hint::unreachable_unchecked() }
}

#[unsafe(export_name = "miden::protocol::output_note::set_word_attachment")]
pub extern "C" fn output_note_set_word_attachment_plain(
    _note_index: f32,
    _attachment_scheme: f32,
    _a0: f32,
    _a1: f32,
    _a2: f32,
    _a3: f32,
) {
    unsafe { core::hint::unreachable_unchecked() }
}

#[unsafe(export_name = "miden::protocol::output_note::set_array_attachment")]
pub extern "C" fn output_note_set_array_attachment_plain(
    _note_index: f32,
    _attachment_scheme: f32,
    _a0: f32,
    _a1: f32,
    _a2: f32,
    _a3: f32,
) {
    unsafe { core::hint::unreachable_unchecked() }
}