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