val (=) : t ‑> t ‑> bool
val (<>) : t ‑> t ‑> bool
val (<) : t ‑> t ‑> bool
val (>) : t ‑> t ‑> bool
val (<=) : t ‑> t ‑> bool
val (>=) : t ‑> t ‑> bool
val (+) : t ‑> t ‑> t
Addition.
val (-) : t ‑> t ‑> t
Subtraction.
val (~-) : t ‑> t
Unary negation.
val (*) : t ‑> t ‑> t
Multiplication.
val (/) : t ‑> t ‑> t
Division.