sig
  val compute_on_cabs : unit -> unit
  module Halstead :
    sig
      type halstead_metrics = {
        distinct_operators : float;
        total_operators : float;
        distinct_operands : float;
        total_operands : float;
        program_length : float;
        program_volume : float;
        program_level : float;
        vocabulary_size : float;
        difficulty_level : float;
        effort_to_implement : float;
        time_to_implement : float;
        bugs_delivered : float;
      }
      val get_metrics : unit -> Metrics_cabs.Halstead.halstead_metrics
      val to_list :
        Metrics_cabs.Halstead.halstead_metrics -> string list list
    end
end