Free variables in Coq
===

 Is there any function/command to get/check a variable, lets say n in a term/expression e, using Coq? Please share. 

 For example, I want to state this  "n does not occur in the free names of e" in Coq.

Thanks,

 Wilayat