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
24
25
26
27
(* SPDX-License-Identifier: MIT *)
(* Copyright (C) 2023-2024 formalsec *)
(* Written by the Smtml programmers *)

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