open AbstractPrioQueue;;

let x = insert empty 1 'a' ;;