annotate include/urweb/queue.h @ 2184:1ecef02f67c5

More Elaborate work to avoid instantiating unification variables with out-of-scope regular variables
author Adam Chlipala <adam@chlipala.net>
date Sat, 24 Oct 2015 17:23:07 -0400
parents c414850f206f
children
rev   line source
ezyang@1739 1 #ifndef QUEUE_H
ezyang@1739 2 #define QUEUE_H
ezyang@1739 3
ezyang@1739 4 int uw_dequeue();
ezyang@1739 5 void uw_enqueue(int);
ezyang@1739 6
ezyang@1739 7 #endif