A resolution function determines a signal`s value if this signal receives assignments from more than one source at a time. This is necessary if the following concurrent assignments to the unresolved signal Z exist.
If there is no resolution function for Z it is not clear which value Z receives if A='0' and B='1'. In the signal declaration signal and resolution function are linked. It is also possible to declare a subtype which links a type to a resolution function.