Kernel_ast.KfMarker
type t = Frama_c_kernel.Cil_types.kernel_function * Frama_c_kernel.Printer_tag.localizable
val jtype : Package.jtype
val of_json : Data.json -> t
val to_json : t -> Data.json