-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Higher order logic
--   
--   This package implements a higher order logic kernel.
@package hol
@version 1.0


module HOL.Data
type Name = String
data Type
Type :: TypeData -> Integer -> Type
data TypeData
VarType :: TypeVar -> TypeData
OpType :: TypeOp -> [Type] -> TypeData
data TypeVar
TypeVar :: Name -> TypeVar
data TypeOp
TypeOp :: Name -> TypeOpProv -> TypeOp
data TypeOpProv
UndefTypeOpProv :: TypeOpProv
DefTypeOpProv :: TypeOpDef -> TypeOpProv
data TypeOpDef
TypeOpDef :: Term -> [TypeVar] -> TypeOpDef
data Var
Var :: Name -> Type -> Var
data Term
Term :: TermData -> Type -> Integer -> Term
data TermData
ConstTerm :: Const -> Type -> TermData
VarTerm :: Var -> TermData
AppTerm :: Term -> Term -> TermData
AbsTerm :: Var -> Term -> TermData
data Const
Const :: Name -> ConstProv -> Const
data ConstProv
UndefConstProv :: ConstProv
DefConstProv :: ConstDef -> ConstProv
AbsConstProv :: TypeOp -> ConstProv
RepConstProv :: TypeOp -> ConstProv
data ConstDef
ConstDef :: Term -> ConstDef