sig
  module Print_api : sig val run : string -> unit end
  module Aorai : sig val run : unit -> unit end
  module RteGen :
    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
  module Security_slicing :
    sig
      val get_direct_component :
        Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
      val get_indirect_backward_component :
        Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
      val get_forward_component :
        Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
      val impact_analysis :
        Cil_datatype.Kf.t -> Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
    end
  module Report :
    sig val print_csv : string -> unit val print : unit -> unit end
  module Wp :
    sig
      module Wpo :
        sig
          type result
          type prover
          type po
          val iter_on_goals : (Dynamic_plugins.Wp.Wpo.po -> unit) -> unit
          val is_valid : Dynamic_plugins.Wp.Wpo.result -> bool
          val goals_of_property :
            Property.t -> Dynamic_plugins.Wp.Wpo.po list
          val get_result :
            Dynamic_plugins.Wp.Wpo.po ->
            Dynamic_plugins.Wp.Wpo.prover -> Dynamic_plugins.Wp.Wpo.result
          val file_for_log_proof :
            Dynamic_plugins.Wp.Wpo.po ->
            Dynamic_plugins.Wp.Wpo.prover -> string * string
          val prover_of_name : string -> Dynamic_plugins.Wp.Wpo.prover option
          val get_gid : Dynamic_plugins.Wp.Wpo.po -> string
          val get_property : Dynamic_plugins.Wp.Wpo.po -> Property.t
        end
    end
  module Obfuscator : sig val force_run : unit -> unit end
  module Callgraph :
    sig
      val accept_base : Cil_datatype.Kf.t -> Base.t -> bool
      val iter_in_rev_order : (Cil_datatype.Kf.t -> unit) -> unit
    end
  module E_ACSL : sig val generate_code : string -> Project.t end
  module Scope : sig val rm_asserts : unit -> unit end
end