Documentation

GeneralizationLinter.Helpers.GraphCache

Class graph cache #

source
def GeneralizationLinter.localInstanceFingerprint :
Lean.MetaM UInt64

Compute fingerprint of local instance declarations, for cache invalidation.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def GeneralizationLinter.cachedClassGraph :
    Lean.MetaM ClassGraph

    Cached class graph.

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