37 lines
843 B
C
37 lines
843 B
C
#ifndef RUNTIME_H
|
|
#define RUNTIME_H
|
|
|
|
#include <stdint.h>
|
|
|
|
typedef int8_t __Monicelli_Bool;
|
|
typedef int8_t __Monicelli_Char;
|
|
typedef int64_t __Monicelli_Int;
|
|
typedef float __Monicelli_Float;
|
|
typedef double __Monicelli_Double;
|
|
|
|
#ifdef __cplusplus
|
|
extern "C" {
|
|
#endif
|
|
|
|
void __Monicelli_putBool(__Monicelli_Bool value);
|
|
void __Monicelli_putChar(__Monicelli_Char value);
|
|
void __Monicelli_putInt(__Monicelli_Int value);
|
|
void __Monicelli_putFloat(__Monicelli_Float value);
|
|
void __Monicelli_putDouble(__Monicelli_Double value);
|
|
|
|
__Monicelli_Bool __Monicelli_getBool();
|
|
__Monicelli_Char __Monicelli_getChar();
|
|
__Monicelli_Int __Monicelli_getInt();
|
|
__Monicelli_Float __Monicelli_getFloat();
|
|
__Monicelli_Double __Monicelli_getDouble();
|
|
|
|
void __Monicelli_abort();
|
|
|
|
void __Monicelli_assert(__Monicelli_Bool condition);
|
|
|
|
#ifdef __cplusplus
|
|
}
|
|
#endif
|
|
|
|
#endif
|