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