module Make_binable:
functor (
Key
:
sig
include Map.Key
include Binable.S
end
) ->
sig include Key include Binable.S with type binable = t end
type 'a t = 'a Make(Key).t
'a
'a Make(Key).t
include Binable.S1