Home | History | Annotate | Download | only in tools

Lines Matching refs:implies

22 #define implies(x,y) assert(!(x) || (y))