Module Register


module Register: sig .. end

val name : string
type int8 = int * int * int * int * int * int * int * int 
module LastResult: State_builder.Option_ref(Datatype.Make(sig
include Datatype.Serializable_undefined
type t = Db.Metrics.t 
val name : string
val structural_descr : Structural_descr.t
val reprs : Db.Metrics.t list
val mem_project : (Project_skeleton.t -> bool) -> 'a -> bool
end))(sig
val dependencies : State.t list
val name : string
val kind : [> `Internal ]
end)
val pretty_set : Format.formatter -> int Cil_datatype.Varinfo.Hashtbl.t -> unit
val number_entry_points : int Cil_datatype.Varinfo.Hashtbl.t -> int
val pretty_entry_points : Format.formatter -> int Cil_datatype.Varinfo.Hashtbl.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