sig val datatype : string val param : Cil_types.varinfo -> Wp.MemoryContext.param val hypotheses : unit -> Wp.MemoryContext.clause list end