module Register:sig
..end
val print_results : Format.formatter -> Cil_types.stmt list -> unit
val from_stmt : Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
val compute_one_stmt : Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
val slice : Cil_types.stmt list -> unit
val on_pragma : ('a -> 'b -> 'a) ->
'a -> ('b * Db_types.rooted_code_annotation Db_types.before_after) list -> 'a
val compute_pragmas : unit -> unit
val main : 'a -> unit