functor (X : sig val use_ctrl_dependencies : bool end) ->
sig
val init : unit -> unit
val is_concerned_by_security : 'a -> bool
val fold_fold :
('a -> t -> 'b -> 'a) -> ('b -> Cil_types.stmt -> 'b) -> 'a -> 'b -> 'a
val slice : unit -> Project.t
end