structure PromConfig =
struct
	val seperator = "%%PROM_SEPERATOR%%"
	val prom_prefix = "%%PROM_PREFIX%%" ^ seperator
	val summary_prefix = prom_prefix ^ "%%SUMMARY_PREFIX%%"
	val info_prefix = prom_prefix ^ "%%INFO_PREFIX%%"
	val stats_prefix = prom_prefix ^ "%%STATS_PREFIX%%" ^ seperator
end