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