Детали механизма вывода форм¶

Сигнатуры¶

Сигнатура формы - это описание типов её входов (параметров). Описание даётся в виде списка, каждый элемент которого трактуется, как описание типа для одного входа. На каждой позиции может стоять просто элемент, или же список из элементов. Элементами в сигнатуре могут быть числа (у нас это натуральные от 0 до UINT_MAX >> 1), атомы (которые представлены своими номерами) и типы (которые тоже представлены номерами).

Выходы формы¶

Выходы формы публикуются в текущем контексте вывода узлом FOut. Атрибут которого должен быть списком из пар (двухэлементных списков), каждый из которых имеет вид (key; value). Где (key) (потенциально) должен совпадать с ключом в сигнатуре некоторой другой формы.