ContentsIndex
AST.Ralog
Synopsis
data Op
= ID
| One
| TL
| HD
| Conv Ralog
| Projection String Int Int
| RelPred String
| Relation [(String, String)]
data Ralog
= CIntersection [Ralog]
| CUnion [Ralog]
| CConcat [Ralog]
| COp Op
Produced by Haddock version 0.6