Module `Q.Notations`

val (//) : t -> t -> t
val (+/) : t -> t -> t
val (-/) : t -> t -> t
val (*/) : t -> t -> t
val (=/) : t -> t -> bool
val (<>/) : t -> t -> bool
val (>/) : t -> t -> bool
val (>=/) : t -> t -> bool
val (</) : t -> t -> bool
val (<=/) : t -> t -> bool