CSPM-ToProlog-0.5.0.0: some modules specific for the ProB tool
Language.CSPM.AstToProlog
Description
Convert an AST to Prolog. An experiment with the new GHC-Generic extentions This would be more compact with SYB.
toProlog :: TP d => d -> DocSource