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