Documentation

check :: CGInfo -> CGEnv -> Config -> Var -> CoreExpr -> Maybe SpecType -> IO Bool #

hasType :: SpecType -> CoreExpr -> SM Bool #

isWellTyped :: CoreExpr -> SM Bool #

checkError :: SpecType -> SM (Maybe CoreExpr) #