sig
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 : 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 Functions :
sig val array : Cil_types.kernel_function States.array end
end