The value denoted by a structured expression is … denoted by the constituent expressions of the expression … [e.g., insert(n):=insert(2*x+1) the constructor is "insert" the assignment is equivalent to n := 2*x+1, insert (n) := has (n) fails since the constructors don't match, a := insert (n) sets "a" to "structure insert. component n
Google-1
Google-2
Copyright clearance needed for quotation.