Frama-C API - `Callstack_requests`

module JCallsite : Server.Data.S with type t = Eva.Callstack.call

module JCallstack : Server.Data.S with type t = Eva.Callstack.t

val compatible_filter : unit -> (Eva.Callstack.t -> bool) option