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