ContentsIndex
Engine.RelOld
Documentation
type RModule = Module Predicate Relational
relIsFinal :: Monad m => Relational -> m Bool
relRewrite :: (MonadIO m, MonadState RModule m) => Relational -> m Relational
generate :: Int -> Int -> [ITerm]
permute :: Vector -> Perm -> Vector
fixvars :: [Int] -> Vector -> Vector
renn :: [Int] -> Int -> Int
freshAndReduce :: Int -> Vector -> Vector
tryUnify2 :: Vector -> Vector -> Either String Vector
unVars :: STerm -> ITerm
tterm :: ITerm -> STerm
Produced by Haddock version 0.8