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

Method parse_decls

leanr-syntax/src/parser.rs:44–52  ·  view source on GitHub ↗

Parse a list of declarations

(&mut self)

Source from the content-addressed store, hash-verified

42
43 /// Parse a list of declarations
44 pub fn parse_decls(&mut self) -> crate::Result<Vec<Decl>> {
45 let mut decls = Vec::new();
46
47 while !self.is_eof() {
48 decls.push(self.parse_decl()?);
49 }
50
51 Ok(decls)
52 }
53
54 /// Parse a single declaration
55 pub fn parse_decl(&mut self) -> crate::Result<Decl> {

Callers 2

parse_and_elaborateFunction · 0.80
parseFunction · 0.80

Calls 3

parse_declMethod · 0.80
is_eofMethod · 0.45
pushMethod · 0.45

Tested by 1

parse_and_elaborateFunction · 0.64