package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Server_api.Callstack_requests`Source

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

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

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