[lang-ref]
Type
>
( type_is_x )
> ( is_int ) ( swift )
[lang-ref] ( is_int ) ( swift )