MCPcopy 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