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