mln::fun::vv2b::implies< L, R > Struct Template Reference
Functor computing logical-implies between two values.
More...
#include <implies.hh>
List of all members.
Detailed Description
template<typename L, typename R = L>
struct mln::fun::vv2b::implies< L, R >
Functor computing logical-implies between two values.