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
end
)
)
(
sig
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