36 #include <type_traits>
44 template <
bool A,
bool B>
45 struct implies : std::integral_constant<bool, true> {};
51 struct implies<true, false> : std::integral_constant<bool, false> {};
57 template <
bool A,
bool B>
60 template <
bool... args>
The main namespace in which all entities from kblib are defined.
constexpr bool conjunction_v
A metafunction for logical implication. That is, if A, then B. If not A, B is unimportant.
Provides macros and basic templates used by the rest of kblib.