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

Class Field

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

Source from the content-addressed store, hash-verified

89/// Structure field
90#[derive(Debug, Clone, PartialEq)]
91pub struct Field {
92 pub span: Span,
93 pub name: Ident,
94 pub type_: Box<Expr>,
95}
96
97/// Function parameter
98#[derive(Debug, Clone, PartialEq)]

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected