OPERATIONS

create: $--->$ HYBRID$($T$)$

is$\_$empty: HYBRID$($T$)--->$ BOOL

enqueue$\_$left: TxHYBRID$(T)--->$ HYBRID$(T)$

enqueue$\_$right: $Tx$ HYBRID $(T)--->$ HYBRID$(T)$

dequeue$\_$left: HYBRID$($T$)--->$ HYBRID$(T)$

dequeue$\_$right: HYBRID$(T)--->$ HYBRID$(T)$

front$\_$left: HYBRID$(T)--->T$

front$\_$right: HYBRID$(T)--->T$

To these operations written by Nelly Nerdy, the new hybrid data type's behaviour$-$defining EQUATIONS were correctly provided by Gerald Geeky.

PRESENT Gerald Geeky's EQUATIONS, by means of which HYBRID$($T$)\text{'}$s correct behaviour is mathematically characterised, on the back page of your homework sheet.