Module Direct_analysis.Callstack

type t =
  1. | Root
  2. | Frame of {
    1. id : int;
    2. calling_function : Frama_c_kernel.Kernel_function.t;
    3. calling_instr : Frama_c_kernel.Cil_types.kinstr;
    4. parent : t;
    }
val pretty : 'a -> 'b -> unit
val hash : t -> int
val compare : t -> t -> int
val equal : t -> t -> bool
module FrameHash : sig ... end
val framehash : FrameHash.t
val count : int Stdlib.ref
val cons : Frama_c_kernel.Kernel_function.t -> Frama_c_kernel.Cil_types.kinstr -> t -> FrameHash.data