| ||||
| ||||
Documentation | ||||
prettyRelational :: Level -> Module Predicate Relational -> [String] | ||||
ppRelPred :: Level -> (Predicate, [Relational]) -> String | ||||
ppPred' :: Predicate -> Doc | ||||
ppRel :: Level -> Relational -> Doc | ||||
ppPerm :: Level -> Perm -> Doc | ||||
ppVector :: Vector -> Doc | ||||
Produced by Haddock version 0.8 |