Module Cil_datatype.Kf

module Kf: sig .. end

include Datatype.S_with_collections
val vi : t -> Cil_types.varinfo
val id : t -> int