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