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
instantiateSchema
instantiateExpr
allDeclGroups
allLoadedModules
allPublicNames
traverseSnd