# Documentation

Lean.Meta.CollectFVars

Equations
Equations
• One or more equations did not get rendered due to their size.

For each variable in s.fvarSet, include its dependencies.

Equations
• = do let __discr ← match __discr with | (fst, s) => pure s
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.