module Register: sig
.. end
val do_all_rte : Cil_types.kernel_function -> unit
val do_rte : Cil_types.kernel_function -> unit
val compute : unit -> unit
val journal_register : ?comment:string ->
bool ->
string -> 'a Type.t -> ('a -> unit) Pervasives.ref -> ('a -> unit) -> unit
val nojournal_register : (unit -> 'a) Pervasives.ref -> 'a -> unit
val _ignore : Kernel_function.t ->
Cil_datatype.Stmt.t ->
Cil_datatype.Exp.t -> Cil_datatype.Code_annotation.t list
val _ignore : Kernel_function.t ->
Cil_datatype.Stmt.t ->
Cil_datatype.Exp.t -> Cil_datatype.Code_annotation.t list
val _ignore : Kernel_function.t ->
Cil_datatype.Stmt.t ->
Cil_datatype.Exp.t -> Cil_datatype.Code_annotation.t list
val main : unit -> unit