## Function: SB-KERNEL:GENERIC-ABSTRACT-TYPE-FUNCTION
[![package](https://img.shields.io/badge/Package-SB--KERNEL-5f9ea0.svg?style=social&colorA=999999)](../) [![type](https://img.shields.io/badge/Type-Function-5f9ea0.svg?style=social&colorA=999999)](../#function) [![github](https://img.shields.io/badge/GitHub-View_the_source-5f9ea0.svg?style=social&colorA=999999&logo=github)](https://github.com/sbcl/sbcl/blob/master/src/code/late-type.lisp/) 

> No description.

### Lambda list
```cl
(type sb-kernel::overapproximate union intersection sb-kernel::difference sb-kernel::top
 sb-kernel::bottom sb-kernel::over sb-kernel::under)
```