Milena (Olena)
User documentation 2.0a Id
|
Functor computing logical-implies between two values. More...
#include <implies.hh>
Functor computing logical-implies between two values.
Definition at line 48 of file implies.hh.