Up
Module
Of_binable
Signature
module
V1
(
Binable
:
S
) (
M
: sig .. end) :
S
with
type
t
:=
M.t