functor
  (SliceName : sig
                 val get : Db_types.kernel_function -> bool -> int -> string
               end->
  sig
    type t_proj = SlicingTransform.T.t_project
    type t_fct =
        Iff of (SlicingTransform.T.t_fct_slice * bool)
      | Isrc
      | Iproto
    val fct_info :
      SlicingTransform.M.T.t_project ->
      Kernel_function.t -> SlicingTransform.Visibility.t_fct list
    val fct_name :
      Cil_types.varinfo -> SlicingTransform.Visibility.t_fct -> string
    val visible_mark : Db.Slicing.Mark.t -> bool
    val param_visible : SlicingTransform.Visibility.t_fct -> int -> bool
    val body_visible : SlicingTransform.Visibility.t_fct -> bool
    val inst_visible :
      SlicingTransform.Visibility.t_fct -> Cil_types.stmt -> bool
    val label_visible :
      SlicingTransform.Visibility.t_fct ->
      Cil_types.stmt -> Cil_types.label -> bool
    val data_in_visible :
      Fct_slice.t_fct_slice -> Locations.Zone.t option -> bool
    val all_nodes_visible :
      Fct_slice.t_fct_slice -> Db.Pdg.t_node list -> bool
    val data_nodes_visible :
      Fct_slice.t_fct_slice ->
      Db.Pdg.t_node list *
      ((Db.Pdg.t_node * Locations.Zone.t option) list *
       Locations.Zone.t option) ->
      bool
    val annotation_visible :
      SlicingTransform.Visibility.t_fct ->
      Cil_types.stmt -> before:bool -> Cil_types.code_annotation -> bool
    val fun_precond_visible :
      SlicingTransform.Visibility.t_fct -> Cil_types.predicate -> bool
    val fun_postcond_visible :
      SlicingTransform.Visibility.t_fct -> Cil_types.predicate -> bool
    val fun_variant_visible :
      SlicingTransform.Visibility.t_fct -> Cil_types.term -> bool
    val fun_assign_visible : '-> '-> bool
    val loc_var_visible :
      SlicingTransform.Visibility.t_fct -> Cil_types.varinfo -> bool
    val res_call_visible :
      SlicingTransform.Visibility.t_fct -> Cil_types.stmt -> bool
    val result_visible : '-> SlicingTransform.Visibility.t_fct -> bool
    val called_info :
      SlicingTransform.M.T.t_project * SlicingTransform.Visibility.t_fct ->
      Cil_types.stmt ->
      (Db_types.kernel_function * SlicingTransform.Visibility.t_fct) option
  end