Frame constructors$)$ In a token ring, a frame may be either a data frame or a token frame. $$ If it is a token frame, then it has an origin, a priority value and a reservation value. $$ If it is a data frame, then it has an origin, a destination, a priority value, a reservation value, and a collection of data values. There are no other kinds of frame, and no frame can be both a token frame and a data frame. Defining any basic types that you need, and using any set or type constructors that seem appropriate, show how the type of all frames could be modelled in our mathematical language.