# Documentation

Lean.Elab.PreDefinition.Structural.Eqns

• recArgPos : Nat
Instances For
Equations
Equations
• One or more equations did not get rendered due to their size.
Equations
• One or more equations did not get rendered due to their size.
Equations
• One or more equations did not get rendered due to their size.
Equations
• One or more equations did not get rendered due to their size.
@[export lean_get_structural_rec_arg_pos]
Equations
• One or more equations did not get rendered due to their size.