Documentation

Lean.Compiler.LCNF.DependsOn

@[reducible, inline]
Equations
Instances For

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

    Equations
    Instances For