Source file `intf_infix.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
module type Infix_order = sig
  type 'a m

  type t

  val ( < ) : t m -> t m -> bool m

  val ( > ) : t m -> t m -> bool m

  val ( <= ) : t m -> t m -> bool m

  val ( >= ) : t m -> t m -> bool m

  val ( = ) : t m -> t m -> bool m

  val ( <> ) : t m -> t m -> bool m
end