[helm.git] / matitaB / components / content_pres / interpTable.mli

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

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