type of Hashtbl.pp
nilsbecker opened this issue · 2 comments
nilsbecker commented
in utop i get this:
#require "containers.top";;
CCHashtbl.pp has a wrong type for a printing function.
nilsbecker commented
but maybe that's just the way it is, with the optional arguments? maybe it should not be registered for the top level? or with some defaults for the start, stop, sep, arrows?
c-cube commented
maybe containers.top should define its own printer and register it, yes :)