module Icmp:sig..end
The predicate for an integer comparison (icmp) instruction.
    See the llvm::ICmpInst::Predicate enumeration.
type | | | Eq | (* | Equal | *) | 
| | | Ne | (* | Not equal | *) | 
| | | Ugt | (* | Unsigned greater than | *) | 
| | | Uge | (* | Unsigned greater or equal | *) | 
| | | Ult | (* | Unsigned less than | *) | 
| | | Ule | (* | Unsigned less or equal | *) | 
| | | Sgt | (* | Signed greater than | *) | 
| | | Sge | (* | Signed greater or equal | *) | 
| | | Slt | (* | Signed less than | *) | 
| | | Sle | (* | Signed less or equal | *) |