Functor computing logical-implies between two values. More...
#include <implies.hh>
List of all members.
Functor computing logical-implies between two values.