[lang-ref]
( type )
>
( type_is_x )
> ( is_int ) ( cpp )
[lang-ref] ( is_int ) ( cpp )