Up
Module
Of_binable1
Signature
module
V1
(
Binable
:
S1
) (
M
: sig .. end) :
S1
with
type
'a
t
:= 'a
M.t