Up
Module
Make_binable
(
Key
:
Key_binable
) :
S_binable
with
type
key
=
Key.t