Module Cil_datatype.VarinfoList


module VarinfoList: S  with type t = varinfo list
Since Boron-20100401