Agda.TypeChecking.Serialise.Base
type Node
type HashTable k v
data FreshAndReuse
farEmpty
lensFresh
lensReuse
type QNameId
qnameId
data Dict
emptyDict
data U
type Memo
data St
type S a
type R a
malformed
class EmbPrj a
tickICode
runGetState
icodeX
icodeInteger
icodeDouble
icodeString
icodeN
icodeMemo
vcase
icode0
icode1
icode2
icode3
icode4
icode5
icode6
icode7
icode8
icode9
icode10
icode11
icode12
icode13
icode14
icode15
icode0'
icode1'
icode2'
icode3'
icode4'
icode5'
icode6'
icode7'
icode8'
icode9'
icode10'
icode11'
icode12'
icode13'
icode14'
valu0
valu1
valu2
valu3
valu4
valu5
valu6
valu7
valu8
valu9
valu10
valu11
valu12
valu13
valu14
valu15