HOL.TypeVar
Description
mk :: Name -> TypeVar Source #
dest :: TypeVar -> Name Source #
eqName :: Name -> TypeVar -> Bool Source #
alpha :: TypeVar Source #
beta :: TypeVar Source #
class HasVars a where Source #
Methods
vars :: a -> Set TypeVar Source #
Defined in HOL.TypeVar
vars :: TermData -> Set TypeVar Source #
vars :: Term -> Set TypeVar Source #
vars :: Var -> Set TypeVar Source #
vars :: TypeData -> Set TypeVar Source #
vars :: Type -> Set TypeVar Source #
vars :: TypeVar -> Set TypeVar Source #
Defined in HOL.TermAlpha
vars :: TermAlpha -> Set TypeVar Source #
Defined in HOL.Sequent
vars :: Sequent -> Set TypeVar Source #
Defined in HOL.Thm
vars :: Thm -> Set TypeVar Source #
vars :: [a] -> Set TypeVar Source #
vars :: Set a -> Set TypeVar Source #