1 files changed, 25 insertions, 0 deletions
diff --git a/test.cc b/test.cc
index 49b95cb..718fb70 100644
--- a/test.cc
+++ b/test.cc
@@ -6,6 +6,7 @@
 #include "list/cons.h"
 #include "list/list.h"
 #include "list/operation/reverse.h"
+#include "list/operation/contains.h"
 #include "list/operation/higher/fold.h"
 #include "list/operation/higher/misc.h"
 #include "list/operation/higher/query.h"
@@ -466,3 +467,27 @@ static_assert(
 	>::value,
 	"(none even? (list 2 3 5)) != #f"
 );
+
+// list contains
+
+static_assert(
+	std::is_same<
+		tav::Boolean<true>,
+		tav::Contains<
+			tav::Int<2>,
+			tav::List<tav::Int<1>, tav::Int<2>, tav::Int<3>>::type
+		>::type
+	>::value,
+	"(contains 2 (list 1 2 3)) != #t"
+);
+
+static_assert(
+	std::is_same<
+		tav::Boolean<false>,
+		tav::Contains<
+			tav::Int<0>,
+			tav::List<tav::Int<1>, tav::Int<2>, tav::Int<3>>::type
+		>::type
+	>::value,
+	"(contains 0 (list 1 2 3)) != #f"
+);