type 'a queue val create : unit -> 'a queue val is_empty : 'a queue -> bool val enq : 'a -> 'a queue -> unit val deq : 'a queue -> 'a