sig
module PP : Printer_tag.S_pp
module Kf :
sig
type t = Cil_types.kernel_function
val syntax : Syntax.t
val of_json : Data.json -> t
val to_json : t -> Data.json
module Joption :
sig
type t = t option
val syntax : Syntax.t
val of_json : Data.json -> t
val to_json : t -> Data.json
end
module Jlist :
sig
type t = t list
val syntax : Syntax.t
val of_json : Data.json -> t
val to_json : t -> Data.json
end
module Jarray :
sig
type t = t array
val syntax : Syntax.t
val of_json : Data.json -> t
val to_json : t -> Data.json
end
end
module Ki :
sig
type t = Cil_types.kinstr
val syntax : Syntax.t
val of_json : Data.json -> t
val to_json : t -> Data.json
module Joption :
sig
type t = t option
val syntax : Syntax.t
val of_json : Data.json -> t
val to_json : t -> Data.json
end
module Jlist :
sig
type t = t list
val syntax : Syntax.t
val of_json : Data.json -> t
val to_json : t -> Data.json
end
module Jarray :
sig
type t = t array
val syntax : Syntax.t
val of_json : Data.json -> t
val to_json : t -> Data.json
end
end
module Stmt :
sig
type t = Cil_types.stmt
val syntax : Syntax.t
val of_json : Data.json -> t
val to_json : t -> Data.json
module Joption :
sig
type t = t option
val syntax : Syntax.t
val of_json : Data.json -> t
val to_json : t -> Data.json
end
module Jlist :
sig
type t = t list
val syntax : Syntax.t
val of_json : Data.json -> t
val to_json : t -> Data.json
end
module Jarray :
sig
type t = t array
val syntax : Syntax.t
val of_json : Data.json -> t
val to_json : t -> Data.json
end
end
end