Cryptol.Transform.Specialize

type SpecCache

type SpecT m a

type SpecM a

runSpecT

liftSpecT

getSpecCache

setSpecCache

modifySpecCache

modify

specialize

specializeExpr

specializeMatch

withDeclGroups

specializeEWhere

specializeDeclGroups

specializeConst

destEProofApps

destETApps

destEProofAbs

destETAbs

freshName

matchingBoundNames

reifyName

instantiateSchema

instantiateExpr

allDeclGroups

allLoadedModules

allPublicQNames

traverseSnd