Language.Symantic.Compiling.Read

Type ReadTerm

type ReadTerm src ss ts

readTerm

teVar

teApp

reduceTeApp

Type ReadTermCF

data ReadTermCF src ss

readTermWithCtx

readTermWithCtxPush

readTermWithCtxPush1

readTermWithCtxClose

Type CtxTy

data CtxTy src ts

appendCtxTy

Type Error_Term

data Error_Term src

Type SrcTe

data SrcTe inp ss