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