Documentation

names :: [String]

freeName :: [String] -> String

fromRight :: Either t t1 -> t1

isPrefix :: Term -> Bool

ppPrintType :: HolType -> Doc

soc :: String -> Bool -> [Doc] -> Doc

sot :: Int -> HolType -> Doc

revAssocd :: Eq t1 => t1 -> [(t, t1)] -> t -> t

destVar :: Term -> Maybe (String, HolType)

isVar :: Term -> Bool

frees :: Term -> [Term]

vfreeIn :: Term -> Term -> Bool

variant :: [Term] -> Term -> Maybe Term

vsubst :: [(Term, Term)] -> Term -> Maybe Term

destComb :: Term -> Maybe (Term, Term)

isComb :: Term -> Bool

destConst :: Term -> Maybe (String, HolType)

isConst :: Term -> Bool

destAbs :: Term -> Maybe (Term, Term)

isAbs :: Term -> Bool

rator :: Term -> Maybe Term

rand :: Term -> Maybe Term

splitlist :: (t -> Maybe (a, t)) -> t -> ([a], t)

revSplitlist :: (t -> Maybe (t, t1)) -> t -> (t, [t1])

typeOf :: Term -> Maybe HolType

destType :: HolType -> Maybe (String, [HolType])

destVartype :: HolType -> Maybe String

typeSubst :: [(HolType, HolType)] -> HolType -> HolType

mkEq :: (Term, Term) -> Maybe Term

inst :: [(HolType, HolType)] -> Term -> Either Term Term

mkComb :: (Term, Term) -> Maybe Term

eqType :: HolType

mkConst :: (String, [(HolType, HolType)]) -> Maybe Term

destBinder :: String -> Term -> Maybe (Term, Term)

destExists :: Term -> Maybe (Term, Term)

stripExists :: Term -> ([Term], Term)

destForall :: Term -> Maybe (Term, Term)

stripForall :: Term -> ([Term], Term)

stripComb :: Term -> (Term, [Term])

body :: Term -> Maybe Term

destNumeral :: Term -> Maybe Integer

destBinary' :: String -> Term -> Maybe (Term, Term)

destCons :: Term -> Maybe (Term, Term)

destList :: Term -> Maybe [Term]

destGabs :: Term -> Maybe (Term, Term)

isGabs :: Term -> Bool

stripGabs :: Term -> ([Term], Term)

destFunTy :: HolType -> Maybe (HolType, HolType)

destLet :: Term -> Maybe ([(Term, Term)], Term)

nameOf :: Term -> String

reverseInterface :: (String, Term) -> (String, Maybe HolParseType)

destBinary :: Term -> Term -> Maybe (Term, Term)

powerof10 :: Integer -> Bool

boolOfTerm :: Term -> Maybe Bool

codeOfTerm :: Num b => Term -> Maybe b

randRator :: Term -> Maybe Term

destClause :: Term -> Maybe [Term]

destClauses :: Term -> Maybe [[Term]]

aright :: Term -> Bool

getPrec :: Term -> Int

parsesAsBinder :: Term -> Bool

canGetInfixStatus :: Term -> Bool