(* parameteres you might want to edit *)

module ParticularQueue = (LeftTree : Prioqueue.PRIOQUEUE);;

(* end of paramteres *)

module LetsTest = ParticularTests.Tests(ParticularQueue);;

LetsTest.test();;