

#ifndef AFmtBasicTypes_included
#define AFmtBasicTypes_included

#define __AFmtBasicTypes_AfmtNat __AFmtBasicTypes_1
#define _AFmtBasicTypes_AfmtNat _AFmtBasicTypes_1
extern OBJ __AFmtBasicTypes_AfmtNat;
extern OBJ _AFmtBasicTypes_AfmtNat(OBJ);

#define __AFmtBasicTypes_AfmtString __AFmtBasicTypes_2
#define _AFmtBasicTypes_AfmtString _AFmtBasicTypes_2
extern OBJ __AFmtBasicTypes_AfmtString;
extern OBJ _AFmtBasicTypes_AfmtString(OBJ);

#define __AFmtBasicTypes_AfmtDenotation __AFmtBasicTypes_3
#define _AFmtBasicTypes_AfmtDenotation _AFmtBasicTypes_3
extern OBJ __AFmtBasicTypes_AfmtDenotation;
extern OBJ _AFmtBasicTypes_AfmtDenotation(OBJ);

#ifndef AFmtBasicTypes_AfmtNat
#define AFmtBasicTypes_AfmtNat(x1,x3) {x3=_AFmtBasicTypes_AfmtNat(x1);}
#endif

#ifndef AFmtBasicTypes_AfmtString
#define AFmtBasicTypes_AfmtString(x1,x5) {x5=_AFmtBasicTypes_AfmtString(x1);}
#endif

#ifndef AFmtBasicTypes_AfmtDenotation
#define AFmtBasicTypes_AfmtDenotation(x1,x4) {x4=_AFmtBasicTypes_AfmtDenotation(x1);}
#endif

#endif
