let collect_signature label varinfo fvar (variables,closures) = fvar :: variables , (Fclos (varinfo,label))::closures