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
icodeNode
icodeMemo
vcase
class ICODE t b
icodeN
icodeN'
class VALU t b
valuN
valueN