# Module Llvm.Fcmp

    module Fcmp: sig .. end

The predicate for a floating-point comparison (`fcmp`) instruction. Ordered means that neither operand is a QNAN while unordered means that either operand may be a QNAN. See the `llvm::FCmpInst::Predicate` enumeration.

    type t =

`|` | `False`
`|` | `Oeq`
`|` | `Ogt`
`|` | `Oge`
`|` | `Olt`
`|` | `Ole`
`|` | `One`
`|` | `Ord`
`|` | `Uno`
`|` | `Ueq`
`|` | `Ugt`
`|` | `Uge`
`|` | `Ult`
`|` | `Ule`
`|` | `Une`
`|` | `True`