Module Register


module Register: sig .. end

val name : string
type int8 = int * int * int * int * int * int * int * int 
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
val null_position : Lexing.position
val null_location : Cil_types.location
val fun_equal : Cil_types.global -> Cil_types.global -> bool
val file_of : Cil_types.global -> string
val image_int8 : int8 -> string
val plus : int8 ->
int8 -> int * int * int * int * int * int * int * int
class slocVisitor : object .. end
val compute : unit -> unit
val main : unit -> unit