#pragma once

namespace mars
{
	template <bool L, bool R>
	struct andb												{};

	template <>
	struct andb <true, true>								{ static const bool value = true; };

	/* FIXME: Couldn't ever get this to work right
	template <typename LCond, typename RCond>
	struct and : public andb<LCond::value, RCond::value>	{};
	*/

	template <bool B, typename E = void>
	struct enable_ifb										{ typedef E Type; };

	template <typename E> 
	struct enable_ifb <false, E>							{};

	/* FIXME: Couldn't ever get this to work right
	template <typename J, typename E = void>
	struct enable_if : public enable_ifb<J::value, E>		{};
	*/

	template <typename E>
	struct has_def											{ static const bool value = sizeof(E *) > 0; };
	
	template<typename T>
	struct identity { typedef T type; };

	template<unsigned N>
	struct quantity { unsigned value = N; };
}