genvars : hol_type -> int -> term list
STRUCTURE
Term
SYNOPSIS
Generate a specified number of fresh variables.
DESCRIPTION
An invocation genvars ty n will invoke genvar n times and return the resulting list of variables.
FAILURE
Never fails. If n is less-than-or-equal to zero, the empty list is returned.
EXAMPLE
- genvars alpha 3;
> val it = [`%%genvar%%1558`, `%%genvar%%1559`, `%%genvar%%1560`] : term list

SEEALSO
genvar, mk_var
HOL  Kananaskis-13