module Metrics_cabs:sig
..end
Syntactic metrics usually makes more sense on Cabs as they reference the original program.
However, one loses CIL facilities for this purpose. Thus, working on Cabs is less developer-friendly.
Implementation of cyclomatic complexity measures on CAbs' AST
val compute_on_cabs : unit -> unit
module Halstead:sig
..end