Type.ftyvar

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 Trindemossen-1