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