- 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
|
