sig
  type t = SlicingTypes.sl_project
  val dyn_t : Db.Slicing.Project.t Type.t
  val mk_project : (string -> Db.Slicing.Project.t) Pervasives.ref
  val from_unique_name : (string -> Db.Slicing.Project.t) Pervasives.ref
  val get_all : (unit -> Db.Slicing.Project.t list) Pervasives.ref
  val set_project : (Db.Slicing.Project.t option -> unit) Pervasives.ref
  val get_project : (unit -> Db.Slicing.Project.t option) Pervasives.ref
  val get_name : (Db.Slicing.Project.t -> string) Pervasives.ref
  val is_called :
    (Db.Slicing.Project.t -> Cil_types.kernel_function -> bool)
    Pervasives.ref
  val has_persistent_selection :
    (Db.Slicing.Project.t -> Cil_types.kernel_function -> bool)
    Pervasives.ref
  val change_slicing_level :
    (Db.Slicing.Project.t -> Cil_types.kernel_function -> int -> unit)
    Pervasives.ref
  val default_slice_names :
    (Cil_types.kernel_function -> bool -> int -> string) Pervasives.ref
  val extract :
    (string ->
     ?f_slice_names:(Cil_types.kernel_function -> bool -> int -> string) ->
     Db.Slicing.Project.t -> Project.t)
    Pervasives.ref
  val print_extracted_project :
    (?fmt:Format.formatter -> extracted_prj:Project.t -> unit) Pervasives.ref
  val print_dot :
    (filename:string -> title:string -> Db.Slicing.Project.t -> unit)
    Pervasives.ref
  val pretty :
    (Format.formatter -> Db.Slicing.Project.t -> unit) Pervasives.ref
  val is_directly_called_internal :
    (Db.Slicing.Project.t -> Cil_types.kernel_function -> bool)
    Pervasives.ref
end