next up previous
Next: Rule Terms Up: Data Terms Previous: Constants

List elements

A list element is a data term with at most two argument ports. The empty list is a list element that has no argument ports.


Volker Haarslev
Wed Jan 31 15:50:43 MET 1996