hol-1.3: Higher order logic

License	MIT
Maintainer	Joe Leslie-Hurd <joe@gilith.com>
Stability	provisional
Portability	portable
Safe Haskell	Safe
Language	Haskell98

HOL.TypeVar

Description

Documentation

mk :: Name -> TypeVar Source #

dest :: TypeVar -> Name Source #

eqName :: Name -> TypeVar -> Bool Source #

alpha :: TypeVar Source #

beta :: TypeVar Source #

class HasVars a where Source #

Minimal complete definition

Methods

vars :: a -> Set TypeVar Source #

Instances

HasVars TermData Source #
Methods vars :: TermData -> Set TypeVar Source #
HasVars Term Source #
Methods vars :: Term -> Set TypeVar Source #
HasVars Var Source #
Methods vars :: Var -> Set TypeVar Source #
HasVars TypeData Source #
Methods vars :: TypeData -> Set TypeVar Source #
HasVars Type Source #
Methods vars :: Type -> Set TypeVar Source #
HasVars TypeVar Source #
Methods vars :: TypeVar -> Set TypeVar Source #
HasVars TermAlpha Source #
Methods vars :: TermAlpha -> Set TypeVar Source #
HasVars Sequent Source #
Methods vars :: Sequent -> Set TypeVar Source #
HasVars Thm Source #
Methods vars :: Thm -> Set TypeVar Source #
HasVars a => HasVars [a] Source #
Methods vars :: [a] -> Set TypeVar Source #
HasVars a => HasVars (Set a) Source #
Methods vars :: Set a -> Set TypeVar Source #