module Metrics_coverage: sig .. end
sig
end
See Metrics_coverage.
Metrics_coverage
val compute_syntactic : libc:bool -> Kernel_function.t -> Cil_datatype.Varinfo.Set.t
libc:bool -> Kernel_function.t -> Cil_datatype.Varinfo.Set.t