Source file `op_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
28
29
30
31
(* SPDX-License-Identifier: MIT *)
(* Copyright (C) 2023-2024 formalsec *)
(* Written by the Smtml programmers *)

module type S = sig
  type v

  type t

  type unop

  type binop

  type relop

  type cvtop

  type triop

  val encode_val : v -> t

  val encode_unop : unop -> t -> t

  val encode_binop : binop -> t -> t -> t

  val encode_relop : relop -> t -> t -> t

  val encode_cvtop : cvtop -> t -> t

  val encode_triop : triop -> t -> t -> t -> t
end