Simplified

Author: polytypic

provides/include/lax_v1/logical.hpp

@@ -4,7 +4,7 @@
 #include "lax_v1/logical_synopsis.hpp"
 #include "lax_v1/value.hpp"
 
-template <class... Exprs> struct lax_v1::and_m : true_t {};
+template <> struct lax_v1::and_m<> : true_t {};
 template <class... Exprs>
 struct lax_v1::and_m<lax_v1::false_t, Exprs...> : false_t {};
 template <class... Exprs>
@@ -15,10 +15,10 @@ struct lax_v1::and_m<Expr, Exprs...> : and_m<force_t<Expr>, Exprs...> {};
 template <class Expr>
 struct lax_v1::not_m : value_t<bool, !value_of_v<Expr>> {};
 
-template <class... Exprs> struct lax_v1::or_m : false_t {};
+template <> struct lax_v1::or_m<> : false_t {};
 template <class... Exprs>
 struct lax_v1::or_m<lax_v1::true_t, Exprs...> : true_t {};
 template <class... Exprs>
 struct lax_v1::or_m<lax_v1::false_t, Exprs...> : or_m<Exprs...> {};
 template <class Expr, class... Exprs>
-struct lax_v1::or_m<Expr, Exprs...> : lax_v1::or_m<force_t<Expr>, Exprs...> {};
+struct lax_v1::or_m<Expr, Exprs...> : or_m<force_t<Expr>, Exprs...> {};