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