Module Cil_datatype.Varinfo


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