ВЕРСИЯ ДЛЯ СЛАБОВИДЯЩИХ

in1(@T1,@T2)

Тип результата: 

ex("mor",[])

Шаблон разработан в понятии: 
Тип аргументов: 

w("in1"),w("("),var(ex("ob",[])),w(","),var(ex("ob",[])),w(")")

Комментарий: 

Вложение первой области в копроизведение

Имя операции: 

coproj1