module Metrics_cabs:sig
..end
Metrics computing on Cabs
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.
class metricsCabsVisitor :object
..end
module Halstead:sig
..end
val compute_on_cabs : unit -> unit