source: doc/papers/general/evaluation/c-print.h@ d27e340

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc
Last change on this file since d27e340 was 604e76d, checked in by Peter A. Buhr <pabuhr@…>, 8 years ago

initial setup for general and concurrency papers

  • Property mode set to 100644
File size: 231 bytes
Line 
1#pragma once
2#include <stdio.h>
3
4void print_string(FILE* out, const char* x);
5void print_bool(FILE* out, _Bool x);
6void print_char(FILE* out, char x);
7void print_int(FILE* out, int x);
8
9void print(FILE* out, const char* fmt, ...);
Note: See TracBrowser for help on using the repository browser.