Functor computing logical-implies between two values. More...
#include <implies.hh>
List of all members.
Functor computing logical-implies between two values.
Definition at line 48 of file implies.hh.