tyvars : hol_type -> hol_type list
- SYNOPSIS
-
Returns a list of the type variables in a type.
- DESCRIPTION
-
When applied to a type, tyvars returns a list (possibly empty) of the type
variables that it involves.
- FAILURE CONDITIONS
-
Never fails.
- EXAMPLE
-
# tyvars `:(A->bool)->A`;;
val it : hol_type list = [`:A`]
- SEE ALSO
-
type_vars_in_term.