Documentation
Lean
.
Compiler
.
LCNF
.
DeclHash
Search
Google site search
Lean
.
Compiler
.
LCNF
.
DeclHash
source
Imports
Init
Lean.Compiler.LCNF.Basic
Imported by
Lean
.
Compiler
.
LCNF
.
instHashableParam
Lean
.
Compiler
.
LCNF
.
hashParams
Lean
.
Compiler
.
LCNF
.
hashAlt
Lean
.
Compiler
.
LCNF
.
hashAlts
Lean
.
Compiler
.
LCNF
.
hashCode
Lean
.
Compiler
.
LCNF
.
instHashableCode
Lean
.
Compiler
.
LCNF
.
instHashableDecl
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