Frama-C API - `Fct`

type mark

type call_info

type fi = (mark, call_info) PdgIndex.FctIndex.t

type t = PdgTypes.Pdg.t * fi

val create : PdgTypes.Pdg.t -> t

val get_idx : t -> fi

type mark_info_inter = mark info_inter

val empty_to_prop : mark_info_inter

val mark_and_propagate : t -> ?to_prop:mark_info_inter -> mark select -> mark_info_inter

Frama-C API - Fct