frees : term -> term list
STRUCTURE
hol88Lib
SYNOPSIS
Returns a list of the variables which are free in a term.
DESCRIPTION
frees
is equivalent to
rev o Term.free_vars
.
FAILURE
Never fails.
COMMENTS
Superseded by
Term.free_vars
.
SEEALSO
freesl
,
free_vars
HOL
Kananaskis-14