module type Infix =sig
..end
type
comparable
val (>=) : comparable -> comparable -> bool
val (<=) : comparable -> comparable -> bool
val (=) : comparable -> comparable -> bool
val (>) : comparable -> comparable -> bool
val (<) : comparable -> comparable -> bool
val (<>) : comparable -> comparable -> bool