23Skidoo

type 'a queue = Queue of 'a list * 'a list

let empty = Queue ([], []);;

let add q elt = match q with
  | Queue (front, back) -> Queue (elt::front, back);;

let take q = match q with
  | Queue ([], []) -> raise (Invalid_argument "Empty queue!")
  | Queue (front, b::bs) -> b, (Queue (front, bs))