Frama-C API - Metrics_base
See Metrics_base.
module OptionKf : Frama_c_kernel.Datatype.S_with_collections with type t = Frama_c_kernel.Kernel_function.t optionmodule BasicMetrics : sig ... end
Frama-C Frama-C Metrics_baseSee Metrics_base.
module OptionKf : Frama_c_kernel.Datatype.S_with_collections with type t = Frama_c_kernel.Kernel_function.t optionmodule BasicMetrics : sig ... end