Up
Module
Of_binable2
Signature
module
V1
(
Binable
:
S2
) (
M
: sig .. end) :
S2
with
type
('a, 'b)
t
:= ('a, 'b)
M.t