Safe Haskell | Safe-Inferred |
---|
Documentation
prHSymbolOp :: HSymbol -> StringSource
termToHExpr :: Term -> HExprSource
termToHClause :: HSymbol -> Term -> HClauseSource
getBinderVars :: HClause -> [HSymbol]Source
Safe Haskell | Safe-Inferred |
---|
prHSymbolOp :: HSymbol -> StringSource
termToHExpr :: Term -> HExprSource
termToHClause :: HSymbol -> Term -> HClauseSource
getBinderVars :: HClause -> [HSymbol]Source