let rec fresh_params ys sigma = function | [] -> List.rev ys , sigma | x::xs -> let y,sigma = fresh sigma x in fresh_params (y::ys) sigma xs