Changes between Version 2 and Version 3 of Ticket #91, comment 2


Ignore:
Timestamp:
Jun 7, 2018, 11:45:30 AM (7 years ago)
Author:
a3moss

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #91, comment 2

    v2 v3  
    33forall(dtype T | { int ?!=?(const T&, zero_t); })
    44int !?(const T& x) { return !(x != 0); }
     5
     6forall(dtype T | { int ?!=?(const T&, zero_t); })
     7int ?==?(const T& x, zero_t ) { return !(x != 0); }
    58}}}