Module Cil_datatype.VarinfoSet


module VarinfoSet: S  with type t = Cilutil.VarinfoSet.t
Since Boron-20100401