Graphs
Sections
NuprlLIB
Doc
Def
union-reduce(f;g;x;as) == reduce(
a,y. InjCase(a; j. f(j,y), g(j,y));x;as)
No mentions to report in Graphs.
Graphs
Sections
NuprlLIB
Doc
a,y. InjCase(a; j. f(j,y), g(j,y));x;as)