Data.Generics.Strafunski.StrategyLib.MetricsTheme
type Metrics
type MetricName
initMetrics
initMetrics0
incMetrics
incMetrics1
putMetricLn
typeMetric
depthWith