Documentation

Lean.Compiler.LCNF.DeclHash

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