mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-11 08:55:23 +03:00
10 lines
131 B
C
10 lines
131 B
C
#ifndef _IDRISGC_H
|
|
#define _IDRISGC_H
|
|
|
|
#include "idris_rts.h"
|
|
|
|
void idris_gc(VM* vm);
|
|
void idris_gcInfo(VM* vm, int doGC);
|
|
|
|
#endif
|