module Register:sig
..end
val name : string
module LastResult:Computation.OptionRef
(
Project.Datatype.Imperative
(
sig
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