Index of types


A
acsl_stats [Metrics_acsl]

H
halstead_metrics [Metrics_cabs.Halstead]

K
key [FCMap.S]
The type of the map keys.

O
output_type [Metrics_base]
Type of the generated report file.

R
reachable_functions [Metrics_coverage]

T
t [FCMap.S]
The type of maps from type key to type 'a.
t [Metrics_base.BasicMetrics]
Simple type of metrics.