annotate include/queue.h @ 1269:9f4b9315810d

Improve consNeq to detect unequal projected cons
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jun 2010 10:44:57 -0400
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