Up
Module
Make_binable
(
Elt
:
Elt_binable
) :
S_binable
with
type
elt
=
Elt.t