Function Process-Toplevel-Typep-Asserts

Part of:

package cl-perec
( process-toplevel-typep-asserts < query > )