| ||||
| ||||
Documentation | ||||
prettyralog :: Module Predicate Ralog -> [String] | ||||
ppRalogPred :: (Predicate, [Ralog]) -> String | ||||
ppPred' :: Predicate -> Doc | ||||
ppRalog :: Ralog -> Doc | ||||
ppOp :: Op -> Doc | ||||
ppRelation :: [(String, String)] -> Doc | ||||
Produced by Haddock version 0.8 |