# Documentation

Lean.Compiler.LCNF.DependsOn

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

Return true is c depends on a free variable in s.

Equations