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