- If RELATION (NODE-1, NODE-2) then on exit FUNCTION[NODE-1] was
- extended (unioned) with FUNCTION[NODE-2]. */
-void relation_digraph (relation_t relation, size_t size, bitsetv *function);
+/* Compute the transitive closure of the FUNCTION on the relation R
+ with SIZE vertices.
+
+ If R (NODE-1, NODE-2) then on exit FUNCTION[NODE - 1] was extended
+ (unioned) with FUNCTION[NODE - 2]. */
+void relation_digraph (relation r, relation_node size, bitsetv *function);