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.