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