Tests whether a number is equal to negative one.
isneg1
Flavor:Instance B ← isneg1 BI
B ← isneg1 BI
Flavor:Blueprint B ← isneg1 BI