# Module Llvm.Icmp

    module Icmp: sig .. end

The predicate for an integer comparison (`icmp`) instruction. See the `llvm::ICmpInst::Predicate` enumeration.

    type t =

`|` | `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 | `*)`