sig
val do_all_rte : Cil_datatype.Kf.t -> unit
val stmt_annotations :
Cil_datatype.Kf.t ->
Cil_datatype.Stmt.t -> Cil_datatype.Code_annotation.t list
val all_statuses :
string * (Cil_datatype.Kf.t -> bool -> unit) *
(Cil_datatype.Kf.t -> bool) list
val exp_annotations :
Cil_datatype.Kf.t ->
Cil_datatype.Stmt.t ->
Cil_datatype.Exp.t -> Cil_datatype.Code_annotation.t list
val emitter : Emitter.t
val get_rte_annotations :
Cil_datatype.Stmt.t -> Cil_datatype.Code_annotation.t list
end