source: doc/generic_types/evaluation/c-print.h @ 3fb7f5e

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newwith_gc
Last change on this file since 3fb7f5e was 0d10090, checked in by Aaron Moss <a3moss@…>, 5 years ago

Add printing code to benchmark

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