Frama-C:

Kernel
Analysis scripts

Plug-ins:

Libraries:

Qed

Features
Documentation
Publications
Blog
Jobs
Contact
Download

API > frama-c-metrics > Metrics > Metrics_base

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 option

module BasicMetrics : sig ... end

Copyright © 2007-2025 Frama-C. All Rights Reserved.

Terms Of Use
Authors
Acknowledgements