sig val datatype : string val param : Cil_types.varinfo -> MemVar.param val separation : unit -> Separation.clause end