Documentation

Lean.Compiler.LCNF.DeclHash

source
instance Lean.Compiler.LCNF.instHashableParam :
Hashable Param
Equations
    source
    def Lean.Compiler.LCNF.hashParams (ps : Array Param) :
    UInt64
    Equations
      Instances For
        source
        partial def Lean.Compiler.LCNF.hashAlt (alt : Alt) :
        UInt64
        source
        partial def Lean.Compiler.LCNF.hashAlts (alts : Array Alt) :
        UInt64
        source
        partial def Lean.Compiler.LCNF.hashCode (code : Code) :
        UInt64
        source
        instance Lean.Compiler.LCNF.instHashableCode :
        Hashable Code
        Equations
          source
          instance Lean.Compiler.LCNF.instHashableDeclValue :
          Hashable DeclValue
          Equations
            source
            instance Lean.Compiler.LCNF.instHashableDecl :
            Hashable Decl
            Equations