Module Callstack

module Callstack: sig .. end

type call_site = Cil_types.kernel_function * Cil_types.kinstr 
type t = call_site list 
include Datatype.S_with_collections
val init : Cil_types.kernel_function -> t
val pop : t ->
(Cil_types.kernel_function * Cil_types.stmt * t) option
val pop_downto : Cil_types.kernel_function -> t -> t
val top_kf : t -> Cil_types.kernel_function
val push : Cil_types.kernel_function * Cil_types.stmt -> t -> t
val is_prefix : t -> t -> bool
val truncate_to_sub : t -> t -> t option
val filter_truncate : t list -> t -> t list