[sledge] Hashtbl.Key has been deprecated in favor of Hashtbl.Key.S

Reviewed By: jvillard

Differential Revision: D18708465

fbshipit-source-id: b7ae04fe9

sledge/src/llair/exp.mli

@@ -200,7 +200,7 @@ val select : Typ.t -> t -> int -> t
 val update : Typ.t -> rcd:t -> int -> elt:t -> t
 
 val struct_rec :
-     (module Hashtbl.Key with type t = 'id)
+     (module Hashtbl.Key.S with type t = 'id)
   -> (id:'id -> Typ.t -> t lazy_t vector -> t) Staged.t
 (** [struct_rec Id id element_thunks] constructs a possibly-cyclic [Struct]
     value. Cycles are detected using [Id]. The caller of [struct_rec Id]

sledge/src/llair/term.mli

@@ -201,7 +201,7 @@ val update : rcd:t -> idx:int -> elt:t -> t
 
 (* recursive n-ary application *)
 val rec_app :
-     (module Hashtbl.Key with type t = 'id)
+     (module Hashtbl.Key.S with type t = 'id)
   -> (id:'id -> recN -> t lazy_t vector -> t) Staged.t
 
 val size_of : Typ.t -> t