variables : term -> term list

SYNOPSIS

Determines the variables used, free or bound, in a given term.

DESCRIPTION

Given a term argument, variables returns a list of variables that occur free or bound in that term.

EXAMPLE

  # variables `\a:bool. a`;;
  val it : term list = [`a`]
  # variables `(a:num) + (b:num)`;;
  val it : term list = [`b`; `a`]

SEE ALSO

frees, free_in.