Module Cil_datatype.Varinfo

module Varinfo: sig .. end
Consult the Plugin Development Guide for additional details.

include Cil_datatype.S_with_collections_pretty
module Hptset: sig .. end
val dummy : t