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

Class Param

leanr-syntax/src/ast.rs:99–104  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

97/// Function parameter
98#[derive(Debug, Clone, PartialEq)]
99pub struct Param {
100 pub span: Span,
101 pub names: Vec<Ident>,
102 pub type_: Option<Box<Expr>>,
103 pub implicit: bool,
104}
105
106/// Identifier
107#[derive(Debug, Clone, PartialEq, Eq, Hash)]

Callers 1

paramMethod · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected