let
mem a s =
Term
.
Map
.mem a s