Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/agenticsorg/lean-agentic
/ raw
Method
raw
lean-agentic/src/level.rs:19–21 ·
view source on GitHub ↗
Get the raw ID value
(self)
Source
from the content-addressed store, hash-verified
17
18
/// Get the raw ID value
19
pub fn raw(self) -> u32 {
20
self.0
21
}
22
}
23
24
/// Universe level expressions
Callers
nothing calls this directly
Calls
no outgoing calls
Tested by
no test coverage detected