#ifndef __DAFNYLIB_H
#define __DAFNYLIB_H

typedef struct _Dafny_BigInt *Dafny_BigInt;

#endif // __DAFNYLIB_H