Frama-C API - JCallstack
type t = Eva.Callstack.tval jtype : Server.Package.jtypeval of_json : Server.Data.json -> tval to_json : t -> Server.Data.json
Frama-C Frama-C JCallstacktype t = Eva.Callstack.tval jtype : Server.Package.jtypeval of_json : Server.Data.json -> tval to_json : t -> Server.Data.json