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`