/* file generated by oo2c -- do not edit */
#ifndef _MODULE_Types_
#define _MODULE_Types_

#include "Kernel.h"
typedef struct Types__TypeDesc {
  struct Types__TypeDesc** btypes;
  void** tbprocs;
  Kernel__Name name;
  Kernel__Module module;
  short int level;
  char _18pad, _19pad;
  int size;
  struct Types__TypeDesc* next;
} Types__TypeDesc;
typedef struct Types__TypeDesc* Types__Type;
extern Types__Type Types_TypeOf(void* o);
extern Types__Type Types_This(Kernel__Module mod, const unsigned char* name);
extern short int Types_LevelOf(Types__Type t);
extern Types__Type Types_BaseOf(Types__Type t, short int level);
extern void Types_NewObj(void* *o, Types__Type t);
extern struct _TD Types__TypeDesc_td;
extern void Types_init(void);

#endif
