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 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 : Server.Package.jtype
val jdecl : Server.Package.jtype
val jlval : Server.Package.jtype
val jexpr : Server.Package.jtype
val jterm : Server.Package.jtype
val jglobal : Server.Package.jtype
val jproperty : Server.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 Functions :
sig val array : Cil_types.kernel_function Server.States.array end
end