1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13

(* SPDX-License-Identifier: MIT *)
(* Copyright (C) 2023-2024 formalsec *)
(* Written by the Smtml programmers *)

module type S = sig
  include Hashtbl.S with type key = Expr.Set.t
end

module type Intf = sig
  module type S = S

  module Strong : S
end