Declarations for field access functions for fields occurring in the interface section of a module must also occur in the interface section. Declarations and clauses for field access functions can also be supplied for fields which are not a part of any type. This is useful when the data structures of a program change so that a value which was previously stored as part of a type is now computed each time it is requested. It also allows record syntax to be used for type class methods. User-declared field access functions may take extra arguments.
V is semidet.
The functions generated for the other fields are similar. Go to the first , previous , next , last section, table of contents .