module BoolInfo: sig
.. end
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 key_visible : string -> Marks.t_fct -> PdgIndex.Key.t -> bool
val body_visible : 'a -> 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 : 'a -> 'b -> before:'c -> 'd -> bool
val fun_precond_visible : 'a -> 'b -> bool
val fun_postcond_visible : 'a -> 'b -> bool
val fun_variant_visible : 'a -> 'b -> bool
val fun_assign_visible : 'a -> 'b -> bool
val res_call_visible : Marks.t_fct -> Cil_types.stmt -> bool
val called_info : Marks.t_proj * 'a ->
Cil_types.stmt -> (Kernel_function.Hptset.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 -> 'a -> string
val result_visible : Kernel_function.t -> Marks.t_fct -> bool