Implemented `Cond` conditional

* returns the `CDR` of the first true `CAR` in a given list of pairs
* reimplemented `Apply` base class selection in terms of `Cond`

1 files changed, 3 insertions, 0 deletions

diff --git a/src/type.h b/src/type.h
index c175c36..15ba2f8 100644
--- a/src/type.h
+++ b/src/type.h
@@ -32,6 +32,9 @@ template <
 >
 using IsEqualValue = Boolean<X::value == Y::value>;
 
+template <typename X>
+using IsTrue = IsEqualValue<X, Boolean<true>>;
+
 }
 
 #endif  // TYPEASVALUE_SRC_TYPE_H_