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