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 | | | False | (* | Always false | *) | 
| | | Oeq | (* | Ordered and equal | *) | 
| | | Ogt | (* | Ordered and greater than | *) | 
| | | Oge | (* | Ordered and greater or equal | *) | 
| | | Olt | (* | Ordered and less than | *) | 
| | | Ole | (* | Ordered and less or equal | *) | 
| | | One | (* | Ordered and not equal | *) | 
| | | Ord | (* | Ordered (no operand is NaN) | *) | 
| | | Uno | (* | Unordered (one operand at least is NaN) | *) | 
| | | Ueq | (* | Unordered and equal | *) | 
| | | Ugt | (* | Unordered and greater than | *) | 
| | | Uge | (* | Unordered and greater or equal | *) | 
| | | Ult | (* | Unordered and less than | *) | 
| | | Ule | (* | Unordered and less or equal | *) | 
| | | Une | (* | Unordered and not equal | *) | 
| | | True | (* | Always true | *) |