Module Register


module Register: sig .. end

val name : string
module LastResult: Computation.OptionRef(Project.Datatype.Imperative(sig
type t = Db.Metrics.t 
val copy : 'a -> 'b
val name : string
end))(sig
val dependencies : Project.Computation.t list
val name : string
end)
val pretty_set : Format.formatter -> int Cilutil.VarinfoHashtbl.t -> unit
val number_entry_points : int Cilutil.VarinfoHashtbl.t -> int
val pretty_entry_points : Format.formatter -> int Cilutil.VarinfoHashtbl.t -> unit
val pretty : Format.formatter -> unit
val dump : unit -> unit
class slocVisitor : object .. end
val compute : unit -> unit
val main : unit -> unit