Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/asymptotic-code/sui-prover
/ Label
Class
Label
crates/move-stackless-bytecode/src/stackless_bytecode.rs:29–29 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
27
/// A label for a branch destination.
28
#[derive(Debug, PartialEq, Eq, PartialOrd, Ord, Hash, Clone, Copy)]
29
pub struct Label(u16);
30
31
impl Label {
32
pub fn new(idx: usize) -> Self {
Callers
7
generate_bytecode
Method · 0.85
inline_void_invariant
Method · 0.85
memory_instrumentation
Method · 0.85
create_block_to_destroy_refs
Method · 0.85
transform
Method · 0.85
replace_attr_id
Method · 0.85
substitute_labels
Method · 0.85
Calls
no outgoing calls
Tested by
no test coverage detected