#include "type_coverage.seh"

coverage IntCoverage( int x )
{
  if( x < 0 )
    return { NEGATIVE };
  else
    if( x == 0 )
      return { ZERO };
    else
      return { POSITIVE };
}