Functor Map.Make_binable


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

type 'a t = 'a Make(Key).t 
include Binable.S1