Function: SB-KERNEL:GENERIC-ABSTRACT-TYPE-FUNCTION

package type github

No description.

Lambda list

(type sb-kernel::overapproximate union intersection sb-kernel::difference sb-kernel::top
 sb-kernel::bottom sb-kernel::over sb-kernel::under)