src/runtime/c/pgf.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#ifndef PGF_H
#define PGF_H

typedef struct _CId     *CId;
typedef struct _String  *String;
typedef struct _Literal *Literal ;
typedef struct _Type    *Type ;
typedef struct _Expr    *Expr ;
typedef struct _PGF     *PGF ;

PGF readPGF(char *filename);
void freePGF(PGF pgf);

#endif