sig
module type VarUsage =
sig
val datatype : string
val param : Cil_types.varinfo -> MemoryContext.param
val iter :
?kf:Cil_types.kernel_function ->
init:bool -> (Cil_types.varinfo -> unit) -> unit
end
module Make : functor (V : VarUsage) (M : Sigs.Model) -> Sigs.Model
end