11 lines
208 B
Coq
11 lines
208 B
Coq
|
module exporter
|
||
|
|
||
|
import io
|
||
|
import metrics { MetricsCollector }
|
||
|
|
||
|
pub interface MetricsExporter {
|
||
|
load(collector MetricsCollector)
|
||
|
export_to_writer(writer io.Writer) !
|
||
|
export_to_string() string !
|
||
|
}
|