OPERATIONS
• create: ---> HYBRID(T)
• is_empty: HYBRID(T) ---> BOOL
• enqueue_left: T x HYBRID(T) ---> HYBRID(T)
• enqueue_right: T x 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)'s correct
behaviour is mathematically characterised,
on the back page of your homework sheet.