module Queue: module type of Queue with type 'a t := 'a Queue.t
module type of Queue
with type 'a t := 'a Queue.t