## Function: SB-EXT:TYPEXPAND-1 [![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/early-type.lisp/) > Takes and expands a type specifier once like MACROEXPAND-1. > Returns two values: the expansion, and a boolean that is true when > expansion happened. ### Lambda list ```cl (sb-kernel:type-specifier &optional sb-kernel::env) ```