sig   type param = NotUsed | ByValue | ByRef | InContext | InArray | InHeap   module type VarUsage =     sig       val datatype : string       val param : Cil_types.varinfo -> Wp.MemVar.param       val separation : unit -> Wp.Separation.clause     end   module Make : functor (V : VarUsage) (M : Memory.Model-> Memory.Model end