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

Method get

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

Get a level by its ID

(&self, id: LevelId)

Source from the content-addressed store, hash-verified

109
110 /// Get a level by its ID
111 pub fn get(&self, id: LevelId) -> Option<&Level> {
112 self.levels.get(id.0 as usize)
113 }
114
115 /// Get the zero level ID
116 pub fn zero(&mut self) -> LevelId {

Callers 2

internMethod · 0.45
normalizeMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected