Frama-C API - `Lval`

Markers that are l-values.

include Data.S with type t = Frama_c_kernel.Cil_types.kinstr * Frama_c_kernel.Cil_types.lval

type t = Frama_c_kernel.Cil_types.kinstr * Frama_c_kernel.Cil_types.lval

val jtype : Package.jtype

val of_json : Data.json -> t

val to_json : t -> Data.json

val mem : Marker.t -> bool

val find : Marker.t -> t

Frama-C API - Lval