module Table :
sig
  include Map.S with type key = (Stdpp.location * string)
end

val populate : NotationPt.term -> string Table.t