## Function: SB-EXT:TYPEXPAND-ALL [![package](https://img.shields.io/badge/Package-SB--EXT-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/target-type.lisp/) > Takes and expands a type specifier recursively like MACROEXPAND-ALL. ### Lambda list ```cl (sb-kernel:type-specifier &optional sb-kernel::env) ```