lambda(@F,@T;@T1)
Submitted by admin on сб, 2007-04-21 20:00.
Тип результата:
ex("mor",[])
Шаблон разработан в понятии:
Тип аргументов:
w("lambda"),w("("),var(ex("mor",[])),w(","),var(ex("ob",[])),w(";"),var(ex("ob",[])),w(")")
Комментарий:
Сопоставление отображению F из TxT1 отображения из T в область отображений
Имя операции:
lambda