@T1 + @T2
Submitted by admin on сб, 2007-04-21 20:00.
Тип результата:
ex("ob",[])
Шаблон разработан в понятии:
Тип аргументов:
var(ex("ob",[])),w("+"),var(ex("ob",[]))
Комментарий:
Копроизведение областей
Имя операции:
coprod_ob