source: doc/papers/general/evaluation/cfa-print.h @ 565a3d6f

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 565a3d6f was 604e76d, checked in by Peter A. Buhr <pabuhr@…>, 6 years ago

initial setup for general and concurrency papers

  • Property mode set to 100644
File size: 428 bytes
Line 
1#pragma once
2#include <stdio.h>
3#include "cfa-pair.h"
4
5forall(otype T, ttype Params | { void print(FILE*, T); void print(FILE*, Params); })
6void print(FILE* out, T arg, Params rest);
7
8void print(FILE* out, const char* x);
9void print(FILE* out, _Bool x);
10void print(FILE* out, char x);
11void print(FILE* out, int x);
12
13forall(otype R, otype S | { void print(FILE*, R); void print(FILE*, S); })
14void print(FILE* out, pair(R, S) x);
Note: See TracBrowser for help on using the repository browser.