is_genvar : term -> bool
STRUCTURE
SYNOPSIS
Tells if a variable has been built by invoking genvar.
DESCRIPTION
is_genvar v attempts to tell if v has been created by a call to genvar.
FAILURE
Never fails.
EXAMPLE
- is_genvar (genvar bool);
> val it = true : bool

- is_genvar (mk_var ("%%genvar%%3",bool));
> val it = true : bool

COMMENTS
As the second example shows, it is possible to fool is_genvar. However, it is useful for derived proof tools which use it as part of their internal operations.
SEEALSO
HOL  Kananaskis-10