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