sig
module Position :
sig
type t = Filepath.position
val jtype : Package.jtype
val of_json : Data.json -> t
val to_json : t -> Data.json
end
module Kf :
sig
type t = Cil_types.kernel_function
val jtype : Package.jtype
val of_json : Data.json -> t
val to_json : t -> Data.json
end
module Fundec :
sig
type t = Cil_types.fundec
val jtype : Package.jtype
val of_json : Data.json -> t
val to_json : t -> Data.json
end
module Ki :
sig
type t = Cil_types.kinstr
val jtype : Package.jtype
val of_json : Data.json -> t
val to_json : t -> Data.json
end
module Stmt :
sig
type t = Cil_types.stmt
val jtype : Package.jtype
val of_json : Data.json -> t
val to_json : t -> Data.json
end
module Lval :
sig
type t = Cil_types.kinstr * Cil_types.lval
val jtype : Package.jtype
val of_json : Data.json -> t
val to_json : t -> Data.json
end
module Marker :
sig
type t = Printer_tag.localizable
val jtype : Package.jtype
val of_json : Data.json -> t
val to_json : t -> Data.json
val jstmt : Package.jtype
val jdecl : Package.jtype
val jlval : Package.jtype
val jexpr : Package.jtype
val jterm : Package.jtype
val jglobal : Package.jtype
val jproperty : Package.jtype
val create : t -> string
val lookup : string -> t
end
module KfMarker :
sig
type t = Cil_types.kernel_function * Printer_tag.localizable
val jtype : Package.jtype
val of_json : Data.json -> t
val to_json : t -> Data.json
end
module Printer : Printer_tag.S_pp
module Information :
sig
val register :
id:string ->
label:string ->
title:string ->
?enable:(unit -> bool) ->
(Stdlib.Format.formatter -> Printer_tag.localizable -> unit) -> unit
val signal : Request.signal
val update : unit -> unit
end
module Functions :
sig val array : Cil_types.kernel_function States.array end
end