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

Method parse_expr

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

Parse an expression

(&mut self)

Source from the content-addressed store, hash-verified

315
316 /// Parse an expression
317 pub fn parse_expr(&mut self) -> crate::Result<Expr> {
318 self.parse_arrow_expr()
319 }
320
321 /// Parse arrow type: A -> B
322 fn parse_arrow_expr(&mut self) -> crate::Result<Expr> {

Callers 13

parse_defMethod · 0.80
parse_theoremMethod · 0.80
parse_axiomMethod · 0.80
parse_inductiveMethod · 0.80
parse_constructorMethod · 0.80
parse_structureMethod · 0.80
parse_paramsMethod · 0.80
parse_forall_exprMethod · 0.80
parse_lambda_exprMethod · 0.80
parse_lambda_paramsMethod · 0.80
parse_let_exprMethod · 0.80
parse_match_exprMethod · 0.80

Calls 1

parse_arrow_exprMethod · 0.80

Tested by

no test coverage detected