graph 1 1 Sections Graphs Doc

Def union-reduce(f;g;x;as) == reduce(a,y. InjCase(a; j. f(j,y), g(j,y));x;as)

is not otherwise mentioned in this or prior sections.

Try larger context: Graphs

graph 1 1 Sections Graphs Doc