Core_hashtbl_intf
.
Key_binable