The Objective Caml system release 2.04

PrioQueue = (PrioQueue : PRIOQUEUE);;module AbstractPrioQueue : PRIOQUEUE# AbstractPrioQueue.remove_top;;Characters 0-28:Unbound value AbstractPrioQueue.remove_top# AbstractPrioQueue.insert AbstractPrioQueue.empty 1 "hello";;- : string AbstractPrioQueue.queue = <abstr>The restriction can also be performed during the denition of the structure, as inmodule PrioQueue = (struct ... end : PRIOQUEUE);;An alternate syntax is provided for the above:module PrioQueue : PRIOQUEUE =...