Hashtbl
.
Key_binable