MCPcopy Create free account
hub / github.com/agenticsorg/lean-agentic / new

Method new

lean-agentic/src/level.rs:14–16  ·  view source on GitHub ↗

Create a new level ID (internal use only)

(id: u32)

Source from the content-addressed store, hash-verified

12impl LevelId {
13 /// Create a new level ID (internal use only)
14 pub(crate) fn new(id: u32) -> Self {
15 Self(id)
16 }
17
18 /// Get the raw ID value
19 pub fn raw(self) -> u32 {

Callers

nothing calls this directly

Calls 1

internMethod · 0.45

Tested by

no test coverage detected