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