6.4.19 The Operator *

This operator may only be used in the following ways:

record * symbol

This yields the record which only contains the attribute of record whose name is symbol.

record1 * record2

This yields a record wich consists of all attributes of record1 and record2. If record1 and record2 have a common attribute names, the corresponding attributes in the result record will have the attribute values from record1, in contrast to the operator +.

record * list

Her, list must be a list of symbols. This yields the record which only contains the attributes of record whose names are in list.

list1 * list2

This yields the intersection of the lists interpreted as multi-sets; if an element is m times contained in list1 and n times contained in list2, it will be min(m, n) times contained in the result.

number1 * number2

This yields the product of number1 and number2.