ftyvar : hol_type
STRUCTURE
Type
SYNOPSIS
Common type variable.
LIBRARY
Type
DESCRIPTION
The ML variable Type.ftyvar is bound to the type variable 'f.
SEEALSO
alpha, beta, gamma, delta, etyvar, bool
HOL  Kananaskis-14