@A - подобласть области @B
Submitted by admin on сб, 2007-04-21 20:00.
Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
терм класса, терм класса
var(ex("ob",[])), var(ex("ob",[]))
Комментарий:
Область A делается подобластью в B.
Имя операции:
make_subobject