annotate include/queue.h @ 1107:52571ca9b777

Eta-expand bodies of transaction functions in Monoization, to enable later optimization
author Adam Chlipala <adamc@hcoop.net>
date Thu, 31 Dec 2009 18:07:53 -0500
parents 80d048a8efe5
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