:
Hashtbl
.
S
with
type
key =
SAtom
.t =
Hashtbl
.
Make
(
SAtom
)