(* Implementation of signature QUEUE (see queue.sig) as a list. *) structure ListQueue :> QUEUE = struct exception Empty type 'a queue = 'a list val empty = [] (* Define get and put here. *) end