Evaluate the collective function of references cited together in a given text segment.
Classify their combined role into one of the following categories: 'method', 'background', or 'result'.

Text:A type definition defines a possibly polymorphic type by giving the set of function symbols to which variables of that type may be bound as well as the type of the arguments of those functors [13].
Category: