Module Ty.RelopSource

Sourcetype t =
  1. | Eq
    (*

    Equality.

    *)
  2. | Ne
    (*

    Inequality.

    *)
  3. | Lt
    (*

    Less than.

    *)
  4. | LtU
    (*

    Unsigned less than.

    *)
  5. | Gt
    (*

    Greater than.

    *)
  6. | GtU
    (*

    Unsigned greater than.

    *)
  7. | Le
    (*

    Less than or equal.

    *)
  8. | LeU
    (*

    Unsigned less than or equal.

    *)
  9. | Ge
    (*

    Greater than or equal.

    *)
  10. | GeU
    (*

    Unsigned greater than or equal.

    *)

The type t represents relational operations.

Sourceval equal : t -> t -> bool

equal op1 op2 checks if relational operations op1 and op2 are equal.

Sourceval pp : t Fmt.t

pp fmt op pretty-prints the relational operation op using the formatter fmt.