sig
  type t_proj = Marks.t_proj
  type t_fct = Marks.t_fct
  val fct_info : Marks.t_proj -> Db_types.kernel_function -> Marks.t_fct list
  val body_visible : '-> bool
  val param_visible : Marks.t_fct -> int -> bool
  val label_visible :
    Marks.t_fct -> Cil_types.stmt -> Cil_types.label -> bool
  val annotation_visible : '-> '-> before:'-> '-> bool
  val fun_precond_visible : '-> '-> bool
  val fun_postcond_visible : '-> '-> bool
  val fun_variant_visible : '-> '-> bool
  val fun_assign_visible : '-> '-> bool
  val res_call_visible : Marks.t_fct -> Cil_types.stmt -> bool
  val called_info :
    Marks.t_proj * '->
    Cil_types.stmt -> (Kernel_function.Set.elt * Marks.t_fct) option
  val inst_visible : Marks.t_fct -> Cil_types.stmt -> bool
  val loc_var_visible : Marks.t_fct -> Cil_types.varinfo -> bool
  val fct_name : Cil_types.varinfo -> '-> string
  val result_visible : Kernel_function.t -> Marks.t_fct -> bool
end