Module Cil_datatype.Lval


module Lval: S  with type t = lval
Consult the Plugin Development Guide for additional details.