Add a bit more qldoc.

This commit is contained in:
Anders Schack-Mulligen
2024-06-03 10:18:26 +02:00
parent 0c47203580
commit 7e980d9524

View File

@@ -26,6 +26,7 @@ signature module PathGraphSig<PathNodeSig PathNode> {
predicate subpaths(PathNode arg, PathNode par, PathNode ret, PathNode out);
}
/** Transforms a `PathGraph` by printing the provenance information. */
module ShowProvenance<
interpretModelForTestSig/2 interpretModelForTest, PathNodeSig PathNode,
PathGraphSig<PathNode> PathGraph>