Functor Cil_datatype.VarinfoHashtbl


module VarinfoHashtbl: 
functor (Data : Project.Datatype.S) -> S with type t = Data.t VarinfoHashtbl.t
Consult the Plugin Development Guide for additional details.
Parameters:
Data : Project.Datatype.S