Source file `constructors_intf.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
module type Infix = sig
  type t

  type elt

  val v : elt -> t

  val sym : string -> t

  val ( ~- ) : t -> t

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

  val ( != ) : t -> t -> t

  val ( > ) : t -> t -> t

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

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

  val ( <= ) : t -> t -> t
end