[#BloombergLP-bslmf-BooleanTestable]
= xref:BloombergLP.adoc[BloombergLP]::xref:BloombergLP/bslmf.adoc[bslmf]::BooleanTestable
:relfileprefix: ../../
:mrdocs:

Concept that a type supports boolean testing and logical negation with the conventional semantics defined by the C&plus;&plus;20 standard &lsqb;concept&period;booleantestable&rsqb;&period;

== Synopsis

Declared in `&lt;bslmf&lowbar;booleantestable&period;h&gt;`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
template&lt;class t&lowbar;TYPE&gt;
concept BooleanTestable = BooleanTestable&lowbar;Impl&lt;t&lowbar;TYPE&gt; &amp;&amp;
    requires(t&lowbar;TYPE&amp;&amp; t) &lcub;
        &lcub; !static&lowbar;cast&lt;t&lowbar;TYPE&amp;&amp;&gt;(t) &rcub; &hyphen;&gt; BooleanTestable&lowbar;Impl&semi;
    &rcub;;
----


[.small]#Created with https://www.mrdocs.com[MrDocs]#
