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