--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Paper/src/TQueue.h	Tue Jan 25 22:27:17 2022 +0900
@@ -0,0 +1,16 @@
+typedef struct TQueue<>{
+    union Data* tQueue;
+    union Data* data;
+    struct FileString* string;
+
+    __code whenEmpty(...);
+    __code whenEOF(...);
+    __code clear(Impl* tQueue, __code next(...));
+    __code put(Impl* tQueue, union Data* data, __code next(...));
+    __code take(Impl* tQueue, __code next(union Data* data, ...));
+    __code isEmpty(Impl* tQueue, __code next(...), __code whenEmpty(...));
+
+    __code sendData(Impl* tQueue, union Data* data, __code next(...));
+    __code getData(Impl* tQueue, __code next(...), __code whenEOF(...));
+    __code next(...);
+} TQueue;