sig
  module type VarUsage =
    sig
      val datatype : string
      val param : Cil_types.varinfo -> Wp.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