package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module M : Mark

Signature

type mark = M.t
type call_info = M.call_info
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