annotate src/c/queue.h @ 1093:8d3aa6c7cee0

Make summary unification more conservative; infer implicit arguments after applications
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Dec 2009 11:56:40 -0500
parents 60240acd15b9
children
rev   line source
adamc@859 1 #ifndef QUEUE_H
adamc@859 2 #define QUEUE_H
adamc@859 3
adamc@859 4 int uw_dequeue();
adamc@859 5 void uw_enqueue(int);
adamc@859 6
adamc@859 7 #endif