Module Metrics_parameters.LocalsSize

module LocalsSize: Parameter_sig.Kernel_function_set 

Compute and print the total size of local variables for all functions in this set (option -metrics-locals-size)


include Parameter_sig.Collection

A set is a collection.

Additional accessors to the set.

val mem : elt -> bool

Does the given element belong to the set?

val exists : (elt -> bool) -> bool

Is there some element satisfying the given predicate?