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