[#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++20 standard [concept.booleantestable]. == Synopsis Declared in `<bslmf_booleantestable.h>` [source,cpp,subs="verbatim,replacements,macros,-callouts"] ---- template<class t_TYPE> concept BooleanTestable = BooleanTestable_Impl<t_TYPE> && requires(t_TYPE&& t) { { !static_cast<t_TYPE&&>(t) } ‐> BooleanTestable_Impl; }; ---- [.small]#Created with https://www.mrdocs.com[MrDocs]#