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 Error_Term

data Error_Term src

Type SrcTe

data SrcTe inp ss