sig
  type rcallstack
  val empty : Gui_callstacks_filters.rcallstack
  val from_callstack :
    Value_types.callstack -> Gui_callstacks_filters.rcallstack
  type filter = Gui_callstacks_filters.rcallstack list option
  val callstack_matches :
    Gui_callstacks_filters.filter ->
    Gui_callstacks_filters.rcallstack -> bool
  val callsite_matches :
    Gui_callstacks_filters.filter -> Cil_types.stmt -> bool
  val is_reachable_stmt :
    Gui_callstacks_filters.filter -> Cil_types.stmt -> bool
  val is_non_terminating_instr :
    Gui_callstacks_filters.filter -> Cil_types.stmt -> bool
  val set_callstacks_filter : Gui_callstacks_filters.filter -> unit
end